In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a Suslin representation of a set of
reals (more precisely, elements of
Baire space) is a
tree
In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, including only woody plants with secondary growth, plants that are ...
whose projection is that set of reals. More generally, a subset ''A'' of ''κ''
ω is ''λ''-Suslin if there is a
tree
In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, including only woody plants with secondary growth, plants that are ...
''T'' on ''κ'' × ''λ'' such that ''A'' = p
'T''
By a tree on ''κ'' × ''λ'' we mean here a subset ''T'' of the union of ''κ''
''i'' × ''λ''
''i'' for all ''i'' ∈ N (or ''i'' < ω in set-theoretical notation).
Here, p
'T''= is the projection of ''T'',
where
'T''= is the set of
branch
A branch, sometimes called a ramus in botany, is a woody structural member connected to the central trunk (botany), trunk of a tree (or sometimes a shrub). Large branches are known as boughs and small branches are known as twigs. The term '' ...
es through ''T''.
Since
'T''is a closed set for the
product topology
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seemin ...
on ''κ''
ω × ''λ''
ω where ''κ'' and ''λ'' are equipped with the
discrete topology (and all closed sets in ''κ''
ω × ''λ''
ω come in this way from some tree on ''κ'' × ''λ''), ''λ''-Suslin subsets of ''κ''
ω are projections of closed subsets in ''κ''
ω × ''λ''
ω.
When one talks of ''Suslin sets'' without specifying the space, then one usually means Suslin subsets of R, which
descriptive set theorists usually take to be the set ω
ω.
See also
*
Suslin cardinal In mathematics, a cardinal λ < Θ is a Suslin cardinal if there exists a set P ⊂ 2ω such that P is Suslin operation In mathematics, the Suslin operation 𝓐 is an operation that constructs a set from a collection of sets indexed by finite sequences of positive integers.
The Suslin operation was introduced by and . In Russia it is sometimes called the A-opera ...
External links
* R. Ketchersid
The strength of an ω1-dense ideal on ω1 under CH 2004.
Set theory
{{settheory-stub