Borel space

Definition 0.1.

A Borel space $(X;\\mathcal{B}(X))$ is defined as a set $X$ , together witha Borel $\\sigma$ -algebra (http://planetmath.org/SigmaAlgebra) $\\mathcal{B}(X)$ of subsets of $X$ , called Borel sets. The Borel algebra on $X$ is the smallest $\\sigma$ -algebra containing all open sets (or, equivalently, all closed sets if the topology on closed sets is selected).

Remark 0.1.

Borel sets were named after the French mathematician Emile Borel.

Remark 0.2.

A subspace of a Borel space $(X;\\mathcal{B}(X))$ is a subset $S\\subset X$ endowed with the relative Borel structure, that is the $\\sigma$ -algebra of all subsets of $S$ of the form $S\\bigcap E$ , where $E$ is a Borel subset of $X$ .

Definition 0.2.

A rigid Borel space $(X_{r};\\mathcal{B}(X_{r}))$ is defined as a Borel space whose only automorphism $f:X_{r}\\to X_{r}$ (that is, with $f$ being a bijection, and also with $f(A)=f^{-1}(A)$ for any $A\\in\\mathcal{B}(X_{r})$ ) is the identity function $1_{(X_{r};\\mathcal{B}(X_{r}))}$ (ref.[2]).

Remark 0.3.

R. M. Shortt and J. Van Mill provided the first construction of a rigid Borel space on a ‘set of large cardinality’.

References

1 M.R. Buneci. 2006.,http://www.utgjiu.ro/math/mbuneci/preprint/p0024.pdfGroupoid C*-Algebras.,Surveys in Mathematics and its Applications, Volume 1: 71–98.
2 B. Aniszczyk. 1991. A rigid Borel space., Proceed. AMS., 113 (4):1013-1015.,http://www.jstor.org/pss/2048777available online.
3 A. Connes.1979. Sur la théorie noncommutative de l’ integration, Lecture Notes inMath., Springer-Verlag, Berlin, 725: 19-14.

单词	BorelSpace
释义	Borel space Definition 0.1. A Borel space $(X;\\mathcal{B}(X))$ is defined as a set $X$ , together witha Borel $\\sigma$ -algebra (http://planetmath.org/SigmaAlgebra) $\\mathcal{B}(X)$ of subsets of $X$ , called Borel sets. The Borel algebra on $X$ is the smallest $\\sigma$ -algebra containing all open sets (or, equivalently, all closed sets if the topology on closed sets is selected). Remark 0.1. Borel sets were named after the French mathematician Emile Borel. Remark 0.2. A subspace of a Borel space $(X;\\mathcal{B}(X))$ is a subset $S\\subset X$ endowed with the relative Borel structure, that is the $\\sigma$ -algebra of all subsets of $S$ of the form $S\\bigcap E$ , where $E$ is a Borel subset of $X$ . Definition 0.2. A rigid Borel space $(X_{r};\\mathcal{B}(X_{r}))$ is defined as a Borel space whose only automorphism $f:X_{r}\\to X_{r}$ (that is, with $f$ being a bijection, and also with $f(A)=f^{-1}(A)$ for any $A\\in\\mathcal{B}(X_{r})$ ) is the identity function $1_{(X_{r};\\mathcal{B}(X_{r}))}$ (ref.[2]). Remark 0.3. R. M. Shortt and J. Van Mill provided the first construction of a rigid Borel space on a ‘set of large cardinality’. References 1 M.R. Buneci. 2006.,http://www.utgjiu.ro/math/mbuneci/preprint/p0024.pdfGroupoid C*-Algebras.,Surveys in Mathematics and its Applications, Volume 1: 71–98. 2 B. Aniszczyk. 1991. A rigid Borel space., Proceed. AMS., 113 (4):1013-1015.,http://www.jstor.org/pss/2048777available online. 3 A. Connes.1979. Sur la théorie noncommutative de l’ integration, Lecture Notes inMath., Springer-Verlag, Berlin, 725: 19-14.
随便看	PrimitiveIdeal primitive ideal PrimitiveMatrix primitive matrix PrimitivePermutationGroup primitive permutation group PrimitiveRecursiveEncoding primitive recursive encoding PrimitiveRecursiveFunction primitive recursive function PrimitiveRecursiveFunctionsWithoutPrimitiveRecursion primitive recursive functions without primitive recursion PrimitiveRecursiveNumber primitive recursive number PrimitiveRecursiveVectorvaluedFunction primitive recursive vector-valued function PrimitiveRoot primitive root PrimitiveSemiperfectNumber primitive semiperfect number Primorial primorial PrimorialPrime primorial prime PrincipalBundle