For finite sets, cantors theorem can be seen to be true by simple enumeration of the number of subsets. Foundations of a general theory of manifolds cantor, 1883, which i will refer to as the grundlagen,iscantors. This book offers an excursion through the developmental area of research mathematics. Also, we prove cantors intersection theorem and baires category theorem in d. Interestingly, a metric space having the cantor intersection property i. Become pro cient with reading and writing the types of proofs used in the development of calculus, in particular proofs that use multiple quanti ers. Cantors intersection theorem from wolfram mathworld. Let x be a complete metric space and let y be a subspace of x. Infinite subset of compact set if is a sequence of closed intervals in s. Cantors intersection theorem for kmetric spaces with a.
Prove the fundamental theorem of calculus starting from just nine axioms that describe the real numbers. A sequence a nof subsets of a metric space is called a decreasing sequence if cantors intersection theorem. What are the applications of the cantor intersection theorem. Since i am trying to understand the author s proof of the above theorem 3. Cantors intersection theorem project gutenberg self. In this paper, for the first time, we establish cantors intersection theorem and baire category theorem in 2metric spaces. Given a decreasing sequence of bounded nonempty closed sets.
Oct 23, 2018 one interesting application of cantor s intersection theorem cit is in proving cauchy s theorem ct in complex analysis. Then the intersection n1 to infinity an has exactly one member. The intersection of every finite subcollection of is nonempty theorem 2. For a more detailed account of cantors life and work, see georg cantor, his mathematics and philosophy of the infinite, by joseph dauben, harvard university press, 1979. Pdf cantors intersection theorem for kmetric spaces. Counting the empty set as a subset, a set with members has a total of subsets, so. It was a separate printing, with a preface and some footnotes added. That is, there are the same number of points in a line, a plane, or 3dimensional space. The cantor intersection theorem for complete metric spaces. In elementary set theory, cantors theorem is a fundamental result which states that, for any set, the set of all subsets of the power set of, denoted by has a strictly greater cardinality than itself.
Cantor s and baires theorem in dmetric sp aces here we prov e an analogue of cantor s intersection theorem for complete d metric spaces and use it to show that such a space cannot be. This activity is based on a construction of pappus of alexandria concerning the. Cantors set is uncountable we already know that cantors set is in nite. Jun 16, 2017 it becomes easy, if you can switch back and forth between the language of analysis and topology. Mar 25, 2016 hi, i am reading mathematical analysis by apostol right now for a course in analysis. A theorem about or providing an equivalent definition of compact sets, originally due to georg cantor. Towards cantor intersection theorem and baire category theorem in. Prove the following cantors intersection theorem let x. This says that if f is a family of closed sets with the nite intersection property, then we must have that \ f c 6.
Pdf on sep 30, 2014, lakshmi kanta dey and others published cantors intersection theorem and baires category. We are concerned in this note with the extension of cantors intersection theorem to ck spaces. The idea behind the proof of this theorem, due to g. Cantor s paradox is the name given to a contradiction following from cantor s theorem together with the assumption that there is a set containing all sets, the universal set.
Pdf on sep 30, 2014, lakshmi kanta dey and others published cantors intersection theorem and baires category theorem in generalized metric space find, read and cite all the research you need. Actually, cantors theorem has a number of applications in. Functional analysis, math 7320 lecture notes from october. Journal of fixed point theory and applications, aug 2016. Also, in theorem 1 the intersection is exactly 1 point, while in theorem 2 it could contain many more points. Theorem 1 the cantor intersection theorem for complete metric spaces. Handwritten notes a handwritten notes of topology by mr.
Further we observe that the intersection theorem along with the idea of a set sa defined below may be conveniently used to prove. He assumes that each of the nested sets contains infinitely many. Cantor s theorem and its proof are closely related to two paradoxes of set theory. Cantor 1878, is called cantor diagonalization process03e2003exxcantors diagonalization process and plays a significant role in set theory and elsewhere. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the cantor bernstein theorem and the related bernstein division theorem. Let x be any set, and px denote the power set of x. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the cantorbernstein theorem and the related bernstein division theorem. Y be topological vector spaces and let be a collection of linear maps from xto y. The power set of a set is always of greater cardinality than the set itself. Kmetric space, cone metric space, solid cone, cantors in tersection theorem, fixed point, spectral radius, contraction principle. Free fulltext pdf articles from hundreds of disciplines, all in one place cantors intersection theorem for kmetric spaces with a solid cone and a contraction principle pdf paperity toggle navigation. We show that no function from an arbitrary set s to its power set. We have to show how any real number corresponds to a pair of real numbers. A simple corollary of the theorem is that the cantor set is nonempty, since it is defined as the intersection of a decreasing nested sequence of sets, each of which is defined as the union of a finite number of closed intervals.
It is also true in higher dimensions of euclidean space. Pdf cantors intersection theorem for kmetric spaces with. Cantors grundlagen and the paradoxes of set theory w. Cantors intersection theorem if is an infinite subset of a compact set then has a limit point in theorem 2. This paper deals with an open problem posed by jleli and samet in \\cite\\, m. In fact, as pointed out to us by the referee, the theorem is a special case of the result obtained very recently by cvetkovi. Now we will prove that the notion of compactness in the setting of fmetric spaces is equivalent with that of usual metric spaces. In this manuscript we give an affirmative answer to this open. Cantors intersection theorem for complete metric spaces let xbe a complete metric space, and let b n n2n be a decreasing nested sequence of nonempty closed subsets of x, with diam b n. This observation is due to boyd and wong 3 and their proof can also be found in 10, p.
On the contrary, the less restrictive version for intervals with continuous bounding functions turns out to be a characterization of injective c. In order to distinguish this paradox from the next one discussed below, it is important. As a departure from normal practice we then apply cantors theorem to establish some fixed point theorems in such spaces. Cantors intersection theorem for kmetric spaces with. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. Basic set theory a set is a many that allows itself to be thought of as a one. Read and repeat proofs of the important theorems of real analysis. Samet, on a new generalization of metric spaces, j. These notes covers almost every topic which required to learn for msc mathematics. Functional analysis, math 7320 lecture notes from october 27. So similarly by cantors intersection theorem for standard metric spaces we can say that x is complete with respect to the metric d.
We will show that in fact cantors set has amuch larger cardinality i. We say that is equicontinuous if for each v 2uy neighborhood of zero. Proofs of the cantorbernstein theorem a mathematical. Cantors theorem that for no set there is a function mapping its members onto all its subsets is one of the most fundamental theorems in set theory and in the foundations of mathematics. Cantor s theorem implies that there are infinitely many infinite cardinal numbers, and that there is no largest cardinal number. The cantor intersection theorem for complete metric spaces fold unfold. In this paper we propose an activity to assist in the teaching of the cantor intersection theorem. Cantors intersection theorem apostol physics forums. First we prove that the general version for arbitrary closed and bounded order intervals leads to a characterization of finite dimensional ck spaces. In fact, since the cantor set is the in nite intersection of each i n, c contains the endpoints of each. In real analysis, a branch of mathematics, cantors intersection theorem, named after georg cantor, gives conditions under which an infinite intersection of nested, nonempty, sets is nonempty theorem 1.
Cantors intersection theorem refers to two closely related theorems in general topology and. In fact, the cantor set contains uncountably many points. Let x, d be a complete metric space and ann1 to infinity a nested sequence of nonempty closed sets whose diameters dan have limit 0. Cantors theorem implies that there are infinitely many infinite cardinal numbers, and that there is no largest cardinal number. For those of you new to abstract mathematics elementary does not mean simple though much of the material. Nested intervals theorem and applications theorem nested intervals theorem.
Cantors intersection theorem for kmetric spaces with a solid cone and a contraction principle. Cantors intersection theorem for kmetric spaces with a solid cone and a contraction principle article pdf available in journal of fixed point theory and applications august 2016 with 400. We present a short proof of the bolzanoweierstrass theorem on the real line which avoids monotonic subsequences, cantors intersection theorem, and the heineborel theorem. Introduction a fundamental tool used in the analysis of the real line is the wellknown bolzanoweierstrass theorem1. A metric space consists of a set m of arbitrary elements, called points, between which a distance is defined i.
903 272 352 588 1236 278 147 146 1525 260 612 1029 1178 1225 625 1191 407 1276 538 1286 1400 67 1246 296 819 843 913 1284 499 572 1482 1433 1252 1024 720 1186 1447 1311 163