M ar 2 01 6 A DIRECT PROOF OF THE FIVE ELEMENT BASIS THEOREM
نویسنده
چکیده
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of Larson, Koenig, Moore and Velickovic and simplifies the original proof of Moore.
منابع مشابه
A direct proof of the five element basis theorem
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of Larson, Koenig, Moore and Velickovic and simplifies the original proof of Moore.
متن کاملA new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کاملThe Basic Theorem and its Consequences
Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...
متن کاملFrobenius kernel and Wedderburn's little theorem
We give a new proof of the well known Wedderburn's little theorem (1905) that a finite division ring is commutative. We apply the concept of Frobenius kernel in Frobenius representation theorem in finite group theory to build a proof.
متن کاملPreconditioning Legendre Spectral Collocation Approximations to Elliptic Problems
This work deals with the H1 condition numbers and the distribution of the ~ N;Msingular values of the preconditioned operators f~ 1 N;M WN;M ÂN;Mg. ÂN;M is the matrix representation of the Legendre Spectral Collocation discretization of the elliptic operator A de ned by Au := u + a1ux + a2uy + a0u in (the unit square) with boundary conditions: u = 0 on 0; @u @ A = u on 1. ~ N;M is the sti ness ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016