|
Sierpiński's Theorem On Metric Spaces
In mathematics, Sierpiński's theorem is an isomorphism theorem concerning certain metric spaces, named after Wacław Sierpiński who proved it in 1920. It states that any countable metric space without isolated points is homeomorphic to \mathbb (with its standard topology). Examples As a consequence of the theorem, the metric space \mathbb^2 (with its usual Euclidean distance) is homeomorphic to \mathbb, which may seem counterintuitive. This is in contrast to, e.g., \mathbb^2, which is not homeomorphic to \mathbb. As another example, \mathbb \cap , 1/math> is also homeomorphic to \mathbb, again in contrast to the closed real interval , 1/math>, which is not homeomorphic to \mathbb (whereas the open interval (0, 1) is). References {{ reflist , refs = {{ cite journal , last = Sierpiński , first = Wacław , title = Sur une propriété topologique des ensembles dénombrables denses en soi , date = 1920 , journal = Fundamen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Space
In mathematics, a metric space is a Set (mathematics), set together with a notion of ''distance'' between its Element (mathematics), elements, usually called point (geometry), points. The distance is measured by a function (mathematics), function called a metric or distance function. Metric spaces are a general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a Conceptual metaphor , metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different bra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wacław Sierpiński
Wacław Franciszek Sierpiński (; 14 March 1882 – 21 October 1969) was a Polish mathematician. He was known for contributions to set theory (research on the axiom of choice and the continuum hypothesis), number theory, theory of functions, and topology. He published over 700 papers and 50 books. Three well-known fractals are named after him (the Sierpiński triangle, the Sierpiński carpet, and the Sierpiński curve), as are Sierpiński numbers and the associated Sierpiński problem. Early life and education Sierpiński was born in 1882 in Warsaw, Congress Poland, to a doctor father Konstanty and mother Ludwika (''née'' Łapińska). His abilities in mathematics were evident from childhood. He enrolled in the Department of Mathematics and Physics at the University of Warsaw in 1899 and graduated five years later. In 1903, while still at the University of Warsaw, the Department of Mathematics and Physics offered a prize for the best essay from a student on Vorono ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countable
In mathematics, a Set (mathematics), set is countable if either it is finite set, finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; this means that each element in the set may be associated to a unique natural number, or that the elements of the set can be counted one at a time, although the counting may never finish due to an infinite number of elements. In more technical terms, assuming the axiom of countable choice, a set is ''countable'' if its cardinality (the number of elements of the set) is not greater than that of the natural numbers. A countable set that is not finite is said to be countably infinite. The concept is attributed to Georg Cantor, who proved the existence of uncountable sets, that is, sets that are not countable; for example the set of the real numbers. A note on terminology Although the terms "countable" and "co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isolated Point
In mathematics, a point is called an isolated point of a subset (in a topological space ) if is an element of and there exists a neighborhood of that does not contain any other points of . This is equivalent to saying that the singleton is an open set in the topological space (considered as a subspace of ). Another equivalent formulation is: an element of is an isolated point of if and only if it is not a limit point of . If the space is a metric space, for example a Euclidean space, then an element of is an isolated point of if there exists an open ball around that contains only finitely many elements of . A point set that is made up only of isolated points is called a discrete set or discrete point set (see also discrete space). Related notions Any discrete subset of Euclidean space must be countable, since the isolation of each of its points together with the fact that rationals are dense in the reals means that the points of may be mapped injective ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphic
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation of a li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Distance
In mathematics, the Euclidean distance between two points in Euclidean space is the length of the line segment between them. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, and therefore is occasionally called the Pythagorean distance. These names come from the ancient Greek mathematicians Euclid and Pythagoras. In the Greek deductive geometry exemplified by Euclid's ''Elements'', distances were not represented as numbers but line segments of the same length, which were considered "equal". The notion of distance is inherent in the compass tool used to draw a circle, whose points all have the same distance from a common center point. The connection from the Pythagorean theorem to distance calculation was not made until the 18th century. The distance between two objects that are not points is usually defined to be the smallest distance among pairs of points from the two objects. Formulas are known for computing distances b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamenta Mathematicae
''Fundamenta Mathematicae'' is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical systems. The first specialized journal in the field of mathematics, originally it covered only topology, set theory, and foundations of mathematics..... It is published by the Mathematics Institute of the Polish Academy of Sciences. History The journal was conceived by Zygmunt Janiszewski as a means to foster mathematical research in Poland.According to and to the introduction to the 100th volume of the journal (1978, pp=1–2). These two sources cite an article written by Janiszewski himself in 1918 and titled "''On the needs of Mathematics in Poland''". Janiszewski posited that, to achieve its goal, the journal should not compel Polish mathematicians to submit articles written exclusively in Polish, and should be devoted only to a sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The American Mathematical Monthly
''The American Mathematical Monthly'' is a peer-reviewed scientific journal of mathematics. It was established by Benjamin Finkel in 1894 and is published by Taylor & Francis on behalf of the Mathematical Association of America. It is an expository journal intended for a wide audience of mathematicians, from undergraduate students to research professionals. Articles are chosen on the basis of their broad interest and reviewed and edited for quality of exposition as well as content. The editor-in-chief is Vadim Ponomarenko (San Diego State University). The journal gives the Lester R. Ford Award annually to "authors of articles of expository excellence" published in the journal. Editors-in-chief The following persons are or have been editor-in-chief: See also *''Mathematics Magazine'' *''Notices of the American Mathematical Society ''Notices of the American Mathematical Society'' is the membership journal of the American Mathematical Society (AMS), published monthly except f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Texts In Mathematics
Graduate Texts in Mathematics (GTM) () is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard size (with variable numbers of pages). The GTM series is easily identified by a white band at the top of the book. The books in this series tend to be written at a more advanced level than the similar Undergraduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. List of books #''Introduction to Axiomatic Set Theory'', Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ) #''Measure and Category – A Survey of the Analogies between Topological and Measure Spaces'', John C. Oxtoby (1980, 2nd ed., ) #''Topological Vector Spaces'', H. H. Schaefer, M. P. Wolff (1999, 2nd ed., ) #''A Course in Homological Algebra'', Peter Hilton, Urs Stammbach (1997, 2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cantor's Isomorphism Theorem
In order theory and model theory, branches of mathematics, Cantor's isomorphism theorem states that every two countable dense unbounded linear orders are order-isomorphic. For instance, Minkowski's question-mark function produces an isomorphism (a one-to-one order-preserving correspondence) between the numerical ordering of the rational numbers and the numerical ordering of the dyadic rationals. The theorem is named after Georg Cantor, who first published it in 1895, using it to characterize the (uncountable) ordering on the real numbers. It can be proved by a back-and-forth method that is also sometimes attributed to Cantor but was actually published later, by Felix Hausdorff. The same back-and-forth method also proves that countable dense unbounded orders are highly symmetric, and can be applied to other kinds of structures. However, Cantor's original proof only used the "going forth" half of this method. In terms of model theory, the isomorphism theorem can be expressed by s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
