Definition
There are several equivalent definitions of analytic set. The following conditions on a subspace A of a Polish space 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 and a Borel set such that is the projection of ; that is,
- A is the projection of a closed set in X times the Baire space.
- A is the projection of a Gδ set in X times the Cantor space.
An alternative characterization, in the specific, important, case that is Baire space, is that the analytic sets are precisely the projections of trees on . Similarly, the analytic subsets of Cantor space are precisely the projections of trees on .
Read more about this topic: Analytic Set
Famous quotes containing the word definition:
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)