Namespaces
Variants
Actions

Difference between revisions of "Category of a set"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(→‎References: Royden: internal link)
Line 12: Line 12:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H.L. Royden,   "Real analysis" , Macmillan  (1968)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A.C.M. van Rooy,  W.H. Schikhof,  "A second course on real functions" , Cambridge Univ. Press  (1982)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H.L. Royden, [[Royden, "Real analysis"|"Real analysis"]], Macmillan  (1968)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A.C.M. van Rooy,  W.H. Schikhof,  "A second course on real functions" , Cambridge Univ. Press  (1982)</TD></TR></table>

Revision as of 18:08, 26 April 2012

A topological characterization of the "massiveness" of a set. A subset of a topological space is said to be of the first category in if it can be expressed as a finite or countable union of nowhere-dense sets in . Otherwise is said to be of the second category. Sometimes the complement in of a set of the first category is also called a set of the second category. In modern literature (see [2]) such sets (in the case of a Baire space) are called residual or comeager. A non-empty closed set of real numbers, in particular an interval, is not of the first category in itself [1]. This result generalizes to any complete metric space. This generalization has wide application in analysis. The role of a set of the first category in analysis is analogous to that of a null set in measure theory. However, a set of the first category can be a set of full measure, while there are null sets of the second category.

References

[1] R. Baire, "Leçons sur les fonctions discontinues, professées au collège de France" , Gauthier-Villars (1905)
[2] J.C. Oxtoby, "Measure and category" , Springer (1971)


Comments

A set of the first category is also called a meager set. The statement that a complete metric space is not of the first category in itself is known as Baire's category theorem (cf. [a1]).

Examples of sets that are meager and not null, as well as of those that are null and not meager, can be found in [a2], Th. 5.5.

References

[a1] H.L. Royden, "Real analysis", Macmillan (1968)
[a2] A.C.M. van Rooy, W.H. Schikhof, "A second course on real functions" , Cambridge Univ. Press (1982)
How to Cite This Entry:
Category of a set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Category_of_a_set&oldid=15117
This article was adapted from an original article by V.A. Skvortsov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article