|
Borel Isomorphism
In mathematics, a Borel isomorphism is a measurable bijective function between two measurable standard Borel spaces. By Souslin's theorem in standard Borel spaces (a set that is both analytic and coanalytic is necessarily Borel), the inverse of any such measurable bijective function is also measurable. Borel isomorphisms are closed under composition and under taking of inverses. The set of Borel isomorphisms from a space to itself clearly forms a group under composition. Borel isomorphisms on standard Borel spaces are analogous to homeomorphisms on topological spaces: both are bijective and closed under composition, and a homeomorphism and its inverse are both continuous, instead of both being only Borel measurable. Borel space A measurable space that is Borel isomorphic to a measurable subset of the real numbers is called a Borel space. See also * Federer–Morse theorem References * Alexander S. Kechris (1995) ''Classical Descriptive Set Theory'', Springer-Verlag. {{cit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Standard Borel Space
In mathematics, a standard Borel space is the Borel space associated to a Polish space. Discounting Borel spaces of discrete Polish spaces, there is, up to isomorphism of measurable spaces, only one standard Borel space. Formal definition A measurable space (X, \Sigma) is said to be "standard Borel" if there exists a metric on X that makes it a complete separable metric space in such a way that \Sigma is then the Borel σ-algebra. Standard Borel spaces have several useful properties that do not hold for general measurable spaces. Properties * If (X, \Sigma) and (Y, T) are standard Borel then any bijective measurable mapping f : (X, \Sigma) \to (Y, \Tau) is an isomorphism (that is, the inverse mapping is also measurable). This follows from Souslin's theorem, as a set that is both analytic and coanalytic is necessarily Borel. * If (X, \Sigma) and (Y, T) are standard Borel spaces and f : X \to Y then f is measurable if and only if the graph of f is Borel. * The product and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Set
In the mathematical field of descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a Polish space. These sets were first defined by and his student . Definition There are several equivalent definitions of analytic set. The following conditions on a subspace ''A'' of a Polish space ''X'' are equivalent: *''A'' is analytic. *''A'' is empty or a continuous image of the Baire space ωω. *''A'' is a Suslin space, in other words ''A'' is the image of a Polish space under a continuous mapping. *''A'' is the continuous image of a Borel set in a Polish space. *''A'' is a Suslin set, the image of the Suslin operation. *There is a Polish space Y and a Borel set B\subseteq X\times Y such that A is the projection of B onto X; that is, : A=\. *''A'' is the projection of a closed set in the cartesian product of ''X'' with the Baire space. *''A'' is the projection of a Gδ set in the cartesian product of ''X'' with the Cantor space 2ω. An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Set
In the mathematical field of descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a Polish space. These sets were first defined by and his student . Definition There are several equivalent definitions of analytic set. The following conditions on a subspace ''A'' of a Polish space ''X'' are equivalent: *''A'' is analytic. *''A'' is empty or a continuous image of the Baire space ωω. *''A'' is a Suslin space, in other words ''A'' is the image of a Polish space under a continuous mapping. *''A'' is the continuous image of a Borel set in a Polish space. *''A'' is a Suslin set, the image of the Suslin operation. *There is a Polish space Y and a Borel set B\subseteq X\times Y such that A is the projection of B; that is, : A=\. *''A'' is the projection of a closed set in the cartesian product of ''X'' with the Baire space. *''A'' is the projection of a Gδ set in the cartesian product of ''X'' with the Cantor space. An alterna ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coanalytic
In the mathematical discipline of descriptive set theory, a coanalytic set is a set (typically a set of real numbers or more generally a subset of a Polish space) that is the complement of an analytic set (Kechris 1994:87). Coanalytic sets are also referred to as \boldsymbol^1_1 sets (see projective hierarchy In the mathematical field of descriptive set theory, a subset A of a Polish space X is projective if it is \boldsymbol^1_n for some positive integer n. Here A is * \boldsymbol^1_1 if A is analytic * \boldsymbol^1_n if the complement of A, X\se ...). References * Descriptive set theory {{settheory-stub, date=March 2006 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set and an Binary operation, operation that combines any two Element (mathematics), elements of the set to produce a third element of the set, in such a way that the operation is Associative property, associative, an identity element exists and every element has an Inverse element, inverse. These three axioms hold for Number#Main classification, number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry groups arise naturally in the study of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphism
In the mathematical field of topology, a homeomorphism, 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. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending 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 desc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a mathematical space that allows for the definition of limits, continuity, and connectedness. Common types of topological spaces include Euclidean spaces, metric spaces and manifolds. Although very general, the concept of topological spaces is fundamental, and used in virtually every branch of modern mathematics. The study of topological spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuity (topology)
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Measurable Space
In mathematics, a measurable space or Borel space is a basic object in measure theory. It consists of a set and a σ-algebra, which defines the subsets that will be measured. Definition Consider a set X and a σ-algebra \mathcal A on X. Then the tuple (X, \mathcal A) is called a measurable space. Note that in contrast to a measure space, no measure is needed for a measurable space. Example Look at the set: X = \. One possible \sigma-algebra would be: \mathcal A_1 = \. Then \left(X, \mathcal A_1\right) is a measurable space. Another possible \sigma-algebra would be the power set on X: \mathcal A_2 = \mathcal P(X). With this, a second measurable space on the set X is given by \left(X, \mathcal A_2\right). Common measurable spaces If X is finite or countably infinite, the \sigma-algebra is most often the power set on X, so \mathcal A = \mathcal P(X). This leads to the measurable space (X, \mathcal P(X)). If X is a topological space In mathematics, a topological space is, rou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Federer–Morse Theorem
In mathematics, the Federer–Morse theorem, introduced by , states that if ''f'' is a surjective continuous map from a compact metric space ''X'' to a compact metric space ''Y'', then there is a Borel subset ''Z'' of ''X'' such that ''f'' restricted to ''Z'' is a bijection from ''Z'' to ''Y''. Moreover, the inverse of that restriction is a Borel section of ''f''—it is a Borel isomorphism.Page 12 of See also * Uniformization * Hahn–Banach theorem The Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear f ... References * * * * Further reading * L. W. Baggett and Arlan Ramsay, ''A Functional Analytic Proof of a Selection Lemma'', Can. J. Math., vol. XXXII, no 2, 1980, pp. 441–448. {{DEFAULTSORT:Federer-Morse theorem Theorems in topology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander S
Alexander is a male given name. The most prominent bearer of the name is Alexander the Great, the king of the Ancient Greek kingdom of Macedonia who created one of the largest empires in ancient history. Variants listed here are Aleksandar, Aleksander and Aleksandr. Related names and diminutives include Iskandar, Alec, Alek, Alex, Alexandre, Aleks, Aleksa and Sander; feminine forms include Alexandra, Alexandria, and Sasha. Etymology The name ''Alexander'' originates from the (; 'defending men' or 'protector of men'). It is a compound of the verb (; 'to ward off, avert, defend') and the noun (, genitive: , ; meaning 'man'). It is an example of the widespread motif of Greek names expressing "battle-prowess", in this case the ability to withstand or push back an enemy battle line. The earliest attested form of the name, is the Mycenaean Greek feminine anthroponym , , (/ Alexandra/), written in the Linear B syllabic script. Alaksandu, alternatively called ''Alakasandu' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Texas
The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas. It was founded in 1883 and is the oldest institution in the University of Texas System. With 40,916 undergraduate students, 11,075 graduate students and 3,133 teaching faculty as of Fall 2021, it is also the largest institution in the system. It is ranked among the top universities in the world by major college and university rankings, and admission to its programs is considered highly selective. UT Austin is considered one of the United States's Public Ivies. The university is a major center for academic research, with research expenditures totaling $679.8 million for fiscal year 2018. It joined the Association of American Universities in 1929. The university houses seven museums and seventeen libraries, including the LBJ Presidential Library and the Blanton Museum of Art, and operates various auxiliary research facilities, such as the J. J. Pickle Research Ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
