- Source: Polyadic space
In mathematics, a polyadic space is a topological space that is the image under a continuous function of a topological power of an Alexandroff one-point compactification of a discrete space.
History
Polyadic spaces were first studied by S. Mrówka in 1970 as a generalisation of dyadic spaces. The theory was developed further by R. H. Marty, János Gerlits and Murray G. Bell, the latter of whom introduced the concept of the more general centred spaces.
Background
A subset K of a topological space X is said to be compact if every open cover of K contains a finite subcover. It is said to be locally compact at a point x ∈ X if x lies in the interior of some compact subset of X. X is a locally compact space if it is locally compact at every point in the space.
A proper subset A ⊂ X is said to be dense if the closure Ā = X. A space whose set has a countable, dense subset is called a separable space.
For a non-compact, locally compact Hausdorff topological space
(
X
,
τ
X
)
{\displaystyle (X,\tau _{X})}
, we define the Alexandroff one-point compactification as the topological space with the set
{
ω
}
∪
X
{\displaystyle \left\{\omega \right\}\cup X}
, denoted
ω
X
{\displaystyle \omega X}
, where
ω
∉
X
{\displaystyle \omega \notin X}
, with the topology
τ
ω
X
{\displaystyle \tau _{\omega X}}
defined as follows:
τ
X
⊆
τ
ω
X
{\displaystyle \tau _{X}\subseteq \tau _{\omega X}}
X
∖
C
∪
{
ω
}
∈
τ
ω
X
{\displaystyle X\setminus C\cup \left\{\omega \right\}\in \tau _{\omega X}}
, for every compact subset
C
⊆
X
{\displaystyle C\subseteq X}
.
Definition
Let
X
{\displaystyle X}
be a discrete topological space, and let
ω
X
{\displaystyle \omega X}
be an Alexandroff one-point compactification of
X
{\displaystyle X}
. A Hausdorff space
P
{\displaystyle P}
is polyadic if for some cardinal number
λ
{\displaystyle \lambda }
, there exists a continuous surjective function
f
:
ω
X
λ
→
P
{\displaystyle f:\omega X^{\lambda }\rightarrow P}
, where
ω
X
λ
{\displaystyle \omega X^{\lambda }}
is the product space obtained by multiplying
ω
X
{\displaystyle \omega X}
with itself
λ
{\displaystyle \lambda }
times.
Examples
Take the set of natural numbers
Z
+
{\displaystyle \mathbb {Z} ^{+}}
with the discrete topology. Its Alexandroff one-point compactification is
ω
Z
+
{\displaystyle \omega \mathbb {Z} ^{+}}
. Choose
λ
=
1
{\displaystyle \lambda =1}
and define the homeomorphism
h
:
ω
Z
+
→
[
0
,
1
]
{\displaystyle h:\omega \mathbb {Z} ^{+}\rightarrow \left[0,1\right]}
with the mapping
h
(
x
)
=
{
1
/
x
,
if
x
∈
Z
+
0
,
if
x
=
ω
{\displaystyle h(x)={\begin{cases}1/x,&{\text{if }}x\in \mathbb {Z} +\\0,&{\text{if }}x=\omega \end{cases}}}
It follows from the definition that the image space
h
[
ω
Z
]
=
{
0
}
∪
{
1
/
n
:
n
∈
N
}
{\displaystyle h[\omega \mathbb {Z} ]=\left\{0\right\}\cup \left\{1/n\,:\,n\in \mathbb {N} \right\}}
is polyadic and compact directly from the definition of compactness, without using Heine-Borel.
Every dyadic space (a compact space which is a continuous image of a Cantor set) is a polyadic space.
Let X be a separable, compact space. If X is a metrizable space, then it is polyadic (the converse is also true).
Properties
The cellularity
c
(
X
)
{\displaystyle c(X)}
of a space
X
{\displaystyle X}
is
c
(
X
)
=
sup
{
|
B
|
:
B
is a disjoint collection of open sets of
X
}
{\displaystyle c(X)=\sup \left\{\vert B\vert :B{\text{ is a disjoint collection of open sets of }}X\right\}}
The tightness
t
(
X
)
{\displaystyle t(X)}
of a space
X
{\displaystyle X}
is defined as follows: let
A
⊆
X
{\displaystyle A\subseteq X}
, and
p
∈
A
¯
{\displaystyle p\in {\bar {A}}}
. Define
a
(
p
,
A
)
:=
min
{
|
B
|
:
p
∈
c
l
X
(
B
)
,
B
⊂
A
}
{\displaystyle a(p,A):=\min \left\{\vert B\vert :p\in \mathrm {cl} _{X}(B),B\subset A\right\}}
t
(
p
,
X
)
:=
sup
{
a
(
p
,
A
)
:
A
⊆
X
,
p
∈
c
l
X
(
A
)
}
{\displaystyle t(p,X):=\sup \left\{a(p,A):A\subseteq X,p\in \mathrm {cl} _{X}(A)\right\}}
Then
t
(
X
)
:=
sup
{
t
(
p
,
X
)
:
p
∈
X
}
.
{\displaystyle t(X):=\sup \left\{t(p,X):p\in X\right\}.}
The topological weight
w
(
X
)
{\displaystyle w(X)}
of a polyadic space
X
{\displaystyle X}
satisfies the equality
w
(
X
)
=
c
(
X
)
⋅
t
(
X
)
{\displaystyle w(X)=c(X)\cdot t(X)}
.
Let
X
{\displaystyle X}
be a polyadic space, and let
A
⊆
X
{\displaystyle A\subseteq X}
. Then there exists a polyadic space
P
⊆
X
{\displaystyle P\subseteq X}
such that
A
⊆
P
{\displaystyle A\subseteq P}
and
c
(
P
)
≤
c
(
A
)
{\displaystyle c(P)\leq c(A)}
.
Polyadic spaces are the smallest class of topological spaces that contain metric compact spaces and are closed under products and continuous images. Every polyadic space
X
{\displaystyle X}
of weight
≤
2
ω
{\displaystyle \leq 2^{\omega }}
is a continuous image of
Z
+
{\displaystyle \mathbb {Z} ^{+}}
.
A topological space
X
{\displaystyle X}
has the Suslin property if there is no uncountable family of pairwise disjoint non-empty open subsets of
X
{\displaystyle X}
. Suppose that
X
{\displaystyle X}
has the Suslin property and is polyadic. Then
X
{\displaystyle X}
is dyadic.
Let
d
i
s
(
X
)
{\displaystyle dis(X)}
be the least number of discrete sets needed to cover
X
{\displaystyle X}
, and let
Δ
(
X
)
{\displaystyle \Delta (X)}
denote the least cardinality of a non-empty open set in
X
{\displaystyle X}
. If
X
{\displaystyle X}
is a polyadic space, then
d
i
s
(
X
)
≥
Δ
(
X
)
{\displaystyle dis(X)\geq \Delta (X)}
.
= Ramsey's theorem
=There is an analogue of Ramsey's theorem from combinatorics for polyadic spaces. For this, we describe the relationship between Boolean spaces and polyadic spaces. Let
C
O
(
X
)
{\displaystyle CO(X)}
denote the clopen algebra of all clopen subsets of
X
{\displaystyle X}
. We define a Boolean space as a compact Hausdorff space whose basis is
C
O
(
X
)
{\displaystyle CO(X)}
. The element
G
∈
C
O
(
X
)
′
{\displaystyle G\in CO(X)'}
such that
⟨
⟨
G
⟩
⟩
=
C
O
(
X
)
{\displaystyle \langle \langle G\rangle \rangle =CO(X)}
is called the generating set for
C
O
(
X
)
{\displaystyle CO(X)}
. We say
G
{\displaystyle G}
is a
(
τ
,
κ
)
{\displaystyle (\tau ,\kappa )}
-disjoint collection if
G
{\displaystyle G}
is the union of at most
τ
{\displaystyle \tau }
subcollections
G
α
{\displaystyle G_{\alpha }}
, where for each
α
{\displaystyle \alpha }
,
G
α
{\displaystyle G_{\alpha }}
is a disjoint collection of cardinality at most
κ
{\displaystyle \kappa }
It was proven by Petr Simon that
X
{\displaystyle X}
is a Boolean space with the generating set
G
{\displaystyle G}
of
C
O
(
X
)
{\displaystyle CO(X)}
being
(
τ
,
κ
)
{\displaystyle (\tau ,\kappa )}
-disjoint if and only if
X
{\displaystyle X}
is homeomorphic to a closed subspace of
α
κ
τ
{\displaystyle \alpha \kappa ^{\tau }}
. The Ramsey-like property for polyadic spaces as stated by Murray Bell for Boolean spaces is then as follows: every uncountable clopen collection contains an uncountable subcollection which is either linked or disjoint.
= Compactness
=We define the compactness number of a space
X
{\displaystyle X}
, denoted by
cmpn
X
{\displaystyle \operatorname {cmpn} \,X}
, to be the least number
n
{\displaystyle n}
such that
X
{\displaystyle X}
has an n-ary closed subbase. We can construct polyadic spaces with arbitrary compactness number. We will demonstrate this using two theorems proven by Murray Bell in 1985. Let
S
{\displaystyle {\mathcal {S}}}
be a collection of sets and let
S
{\displaystyle S}
be a set. We denote the set
{
⋂
F
:
F
is a finite subset of
S
}
{\displaystyle \{\bigcap {\mathcal {F}}:{\mathcal {F}}{\text{ is a finite subset of }}{\mathcal {S}}\}}
by
S
F
^
{\displaystyle {\mathcal {S}}^{\widehat {\mathcal {F}}}}
; all subsets of
S
{\displaystyle S}
of size
n
{\displaystyle n}
by
[
S
]
n
{\displaystyle [S]^{n}}
; and all subsets of size at most
n
{\displaystyle n}
by
[
S
]
<=
n
{\displaystyle [S]^{<=n}}
. If
2
≤
n
<
ω
{\displaystyle 2\leq n<\omega }
and
⋂
F
≠
∅
{\displaystyle \bigcap {\mathcal {F}}\neq \emptyset }
for all
F
∈
[
S
]
n
{\displaystyle {\mathcal {F}}\in [{\mathcal {S}}]^{n}}
, then we say that
S
{\displaystyle {\mathcal {S}}}
is n-linked. If every n-linked subset of
S
{\displaystyle {\mathcal {S}}}
has a non-empty intersection, then we say that
S
{\displaystyle {\mathcal {S}}}
is n-ary. Note that if
S
{\displaystyle {\mathcal {S}}}
is n-ary, then so is
S
F
^
{\displaystyle {\mathcal {S}}^{\widehat {\mathcal {F}}}}
, and therefore every space
X
{\displaystyle X}
with
cmpn
X
≤
n
{\displaystyle \operatorname {cmpn} \,X\leq n}
has a closed, n-ary subbase
S
{\displaystyle {\mathcal {S}}}
with
S
=
S
F
^
{\displaystyle {\mathcal {S}}={\mathcal {S}}^{\widehat {\mathcal {F}}}}
. Note that a collection
S
=
S
F
^
{\displaystyle {\mathcal {S}}={\mathcal {S}}^{\widehat {\mathcal {F}}}}
of closed subsets of a compact space
X
{\displaystyle X}
is a closed subbase if and only if for every closed
K
{\displaystyle K}
in an open set
U
{\displaystyle U}
, there exists a finite
F
{\displaystyle {\mathcal {F}}}
such that
F
⊂
S
{\displaystyle {\mathcal {F}}\subset {\mathcal {S}}}
and
K
⊂
⋃
F
⊂
U
{\displaystyle K\subset \bigcup {\mathcal {F}}\subset U}
.
Let
S
{\displaystyle S}
be an infinite set and let
n
{\displaystyle n}
by a number such that
1
≤
n
<
ω
{\displaystyle 1\leq n<\omega }
. We define the product topology on
[
S
]
≤
n
{\displaystyle [S]^{\leq n}}
as follows: for
s
∈
S
{\displaystyle s\in S}
, let
s
−
=
{
F
∈
[
S
]
≤
n
:
s
∈
F
}
{\displaystyle s^{-}=\{F\in [S]^{\leq n}:s\in F\}}
, and let
s
+
=
{
F
∈
[
S
]
≤
n
:
s
∉
F
}
{\displaystyle s^{+}=\{F\in [S]^{\leq n}:s\notin F\}}
. Let
S
{\displaystyle {\mathcal {S}}}
be the collection
S
=
⋃
s
∈
S
{
s
+
,
s
−
}
{\displaystyle {\mathcal {S}}=\bigcup _{s\in S}\{s^{+},s^{-}\}}
. We take
S
{\displaystyle {\mathcal {S}}}
as a clopen subbase for our topology on
[
S
]
≤
n
{\displaystyle [S]^{\leq n}}
. This topology is compact and Hausdorff. For
k
{\displaystyle k}
and
n
{\displaystyle n}
such that
0
≤
k
≤
n
{\displaystyle 0\leq k\leq n}
, we have that
[
S
]
k
{\displaystyle [S]^{k}}
is a discrete subspace of
[
S
]
≤
n
{\displaystyle [S]^{\leq n}}
, and hence that
[
S
]
≤
n
{\displaystyle [S]^{\leq n}}
is a union of
n
+
1
{\displaystyle n+1}
discrete subspaces.
Theorem (Upper bound on
cmpn
[
S
]
≤
n
{\displaystyle \operatorname {cmpn} \,[S]^{\leq n}}
): For each total order
<
{\displaystyle <}
on
S
{\displaystyle S}
, there is an
n
+
1
{\displaystyle n+1}
-ary closed subbase
R
{\displaystyle {\mathcal {R}}}
of
[
S
]
≤
2
n
{\displaystyle [S]^{\leq 2n}}
.
Proof: For
s
∈
S
{\displaystyle s\in S}
, define
L
s
=
{
F
∈
s
+
:
|
{
t
∈
F
:
t
<
s
}
|
≤
n
−
1
}
{\displaystyle L_{s}=\{F\in s^{+}:|\{t\in F:t
and
R
s
=
{
F
∈
s
+
:
|
{
t
∈
F
:
t
>
s
}
|
≤
n
−
1
}
{\displaystyle R_{s}=\{F\in s^{+}:|\{t\in F:t>s\}|\leq n-1\}}
. Set
R
=
⋃
s
∈
S
{
L
s
,
R
s
,
s
+
}
{\displaystyle {\mathcal {R}}=\bigcup _{s\in S}\{L_{s},R_{s},s^{+}\}}
. For
A
{\displaystyle A}
,
B
{\displaystyle B}
and
C
{\displaystyle C}
such that
A
∪
B
∪
C
≠
∅
{\displaystyle A\cup B\cup C\neq \emptyset }
, let
F
=
{
L
s
:
s
∈
A
}
∪
{
R
s
:
s
∈
B
}
∪
{
s
−
:
s
∈
C
}
{\displaystyle {\mathcal {F}}=\{L_{s}:s\in A\}\cup \{R_{s}:s\in B\}\cup \{s^{-}:s\in C\}}
such that
F
{\displaystyle {\mathcal {F}}}
is an
n
+
1
{\displaystyle n+1}
-linked subset of
R
{\displaystyle {\mathcal {R}}}
. Show that
A
∪
B
∈
⋂
F
{\displaystyle A\cup B\in \bigcap {\mathcal {F}}}
.
◼
{\displaystyle \blacksquare }
For a topological space
X
{\displaystyle X}
and a subspace
A
∈
X
{\displaystyle A\in X}
, we say that a continuous function
r
:
X
→
A
{\displaystyle r:X\rightarrow A}
is a retraction if
r
|
A
{\displaystyle r|_{A}}
is the identity map on
A
{\displaystyle A}
. We say that
A
{\displaystyle A}
is a retract of
X
{\displaystyle X}
. If there exists an open set
U
{\displaystyle U}
such that
A
⊂
U
⊂
X
{\displaystyle A\subset U\subset X}
, and
A
{\displaystyle A}
is a retract of
U
{\displaystyle U}
, then we say that
A
{\displaystyle A}
is a neighbourhood retract of
X
{\displaystyle X}
.
Theorem (Lower bound on
cmpn
[
S
]
≤
n
{\displaystyle \operatorname {cmpn} \,[S]^{\leq n}}
) Let
n
{\displaystyle n}
be such that
2
≤
n
<
ω
{\displaystyle 2\leq n<\omega }
. Then
[
ω
1
]
≤
2
n
−
1
{\displaystyle [\omega _{1}]^{\leq 2n-1}}
cannot be embedded as a neighbourhood retract in any space
K
{\displaystyle K}
with
cmpn
K
≤
n
{\displaystyle \operatorname {cmpn} \,K\leq n}
.
From the two theorems above, it can be deduced that for
n
{\displaystyle n}
such that
1
≤
n
<
ω
{\displaystyle 1\leq n<\omega }
, we have that
cmpn
[
ω
1
]
≤
2
n
−
1
=
n
+
1
=
cmpn
[
ω
1
]
≤
2
n
{\displaystyle \operatorname {cmpn} \,[\omega _{1}]^{\leq 2n-1}=n+1=\operatorname {cmpn} \,[\omega _{1}]^{\leq 2n}}
.
Let
A
{\displaystyle A}
be the Alexandroff one-point compactification of the discrete space
S
{\displaystyle S}
, so that
A
=
S
∪
{
∞
}
{\displaystyle A=S\cup \{\infty \}}
. We define the continuous surjection
g
:
A
n
→
[
S
]
≤
n
{\displaystyle g:A^{n}\rightarrow [S]^{\leq n}}
by
g
(
(
x
1
,
.
.
.
,
x
n
)
)
=
{
x
1
,
…
,
x
n
}
∩
S
{\displaystyle g((x_{1},...,x_{n}))=\{x_{1},\ldots ,x_{n}\}\cap S}
. It follows that
[
S
]
≤
n
{\displaystyle [S]^{\leq n}}
is a polyadic space. Hence
[
ω
1
]
≤
2
n
−
1
{\displaystyle [\omega _{1}]^{\leq 2n-1}}
is a polyadic space with compactness number
cmpn
[
ω
1
]
≤
2
n
−
1
=
n
+
1
{\displaystyle \operatorname {cmpn} \,[\omega _{1}]^{\leq 2n-1}=n+1}
.
Generalisations
Centred spaces, AD-compact spaces and ξ-adic spaces are generalisations of polyadic spaces.
= Centred space
=Let
S
{\displaystyle {\mathcal {S}}}
be a collection of sets. We say that
S
{\displaystyle {\mathcal {S}}}
is centred if
⋂
F
≠
∅
{\displaystyle \bigcap {\mathcal {F}}\neq \emptyset }
for all finite subsets
F
⊆
S
{\displaystyle {\mathcal {F}}\subseteq {\mathcal {S}}}
. Define the Boolean space
C
e
n
(
S
)
=
{
χ
T
:
T
is a centred subcollection of
S
}
{\displaystyle Cen({\mathcal {S}})=\{\chi _{T}:T{\text{ is a centred subcollection of }}{\mathcal {S}}\}}
, with the subspace topology from
2
S
{\displaystyle 2^{\mathcal {S}}}
. We say that a space
X
{\displaystyle X}
is a centred space if there exists a collection
S
{\displaystyle {\mathcal {S}}}
such that
X
{\displaystyle X}
is a continuous image of
C
e
n
(
S
)
{\displaystyle Cen({\mathcal {S}})}
.
Centred spaces were introduced by Murray Bell in 2004.
= AD-compact space
=Let
X
{\displaystyle X}
be a non-empty set, and consider a family of its subsets
A
⊆
P
(
X
)
{\displaystyle {\mathcal {A}}\subseteq {\mathcal {P}}(X)}
. We say that
A
{\displaystyle {\mathcal {A}}}
is an adequate family if:
A
∈
A
∧
B
⊆
A
⇒
B
∈
A
{\displaystyle A\in {\mathcal {A}}\land B\subseteq {\mathcal {A}}\Rightarrow B\in {\mathcal {A}}}
given
A
⊆
X
{\displaystyle A\subseteq X}
, if every finite subset of
A
{\displaystyle A}
is in
A
{\displaystyle {\mathcal {A}}}
, then
A
∈
A
{\displaystyle A\in {\mathcal {A}}}
.
We may treat
A
{\displaystyle {\mathcal {A}}}
as a topological space by considering it a subset of the Cantor cube
D
X
{\displaystyle D^{X}}
, and in this case, we denote it
K
(
A
)
{\displaystyle K({\mathcal {A}})}
.
Let
K
{\displaystyle K}
be a compact space. If there exist a set
X
{\displaystyle X}
and an adequate family
A
⊆
P
(
X
)
{\displaystyle {\mathcal {A}}\subseteq {\mathcal {P}}(X)}
, such that
K
{\displaystyle K}
is the continuous image of
K
(
A
)
{\displaystyle K({\mathcal {A}})}
, then we say that
K
{\displaystyle K}
is an AD-compact space.
AD-compact spaces were introduced by Grzegorz Plebanek. He proved that they are closed under arbitrary products and Alexandroff compactifications of disjoint unions. It follows that every polyadic space is hence an AD-compact space. The converse is not true, as there are AD-compact spaces that are not polyadic.
= ξ-adic space
=Let
κ
{\displaystyle \kappa }
and
τ
{\displaystyle \tau }
be cardinals, and let
X
{\displaystyle X}
be a Hausdorff space. If there exists a continuous surjection from
(
κ
+
1
)
τ
{\displaystyle (\kappa +1)^{\tau }}
to
X
{\displaystyle X}
, then
X
{\displaystyle X}
is said to be a ξ-adic space.
ξ-adic spaces were proposed by S. Mrówka, and the following results about them were given by János Gerlits (they also apply to polyadic spaces, as they are a special case of ξ-adic spaces).
Let
n
{\displaystyle {\mathfrak {n}}}
be an infinite cardinal, and let
X
{\displaystyle X}
be a topological space. We say that
X
{\displaystyle X}
has the property
B
(
n
)
{\displaystyle \mathbf {B} ({\mathfrak {n}})}
if for any family
{
G
α
:
α
∈
A
}
{\displaystyle \{G_{\alpha }:\alpha \in A\}}
of non-empty open subsets of
X
{\displaystyle X}
, where
|
A
|
=
n
{\displaystyle |A|={\mathfrak {n}}}
, we can find a set
B
⊂
A
{\displaystyle B\subset A}
and a point
p
∈
X
{\displaystyle p\in X}
such that
|
B
|
=
n
{\displaystyle |B|={\mathfrak {n}}}
and for each neighbourhood
N
{\displaystyle N}
of
p
{\displaystyle p}
, we have that
|
{
β
∈
B
:
N
∩
G
β
=
∅
}
|
<
n
{\displaystyle |\{\beta \in B:N\cap G_{\beta }=\emptyset \}|<{\mathfrak {n}}}
.
If
X
{\displaystyle X}
is a ξ-adic space, then
X
{\displaystyle X}
has the property
B
(
n
)
{\displaystyle \mathbf {B} ({\mathfrak {n}})}
for each infinite cardinal
n
{\displaystyle {\mathfrak {n}}}
. It follows from this result that no infinite ξ-adic Hausdorff space can be an extremally disconnected space.
= Hyadic space
=Hyadic spaces were introduced by Eric van Douwen. They are defined as follows.
Let
X
{\displaystyle X}
be a Hausdorff space. We denote by
H
(
X
)
{\displaystyle H(X)}
the hyperspace of
X
{\displaystyle X}
. We define the subspace
J
2
(
X
)
{\displaystyle J_{2}(X)}
of
H
(
X
)
{\displaystyle H(X)}
by
{
F
∈
H
(
X
)
:
|
F
|
≤
2
}
{\displaystyle \{F\in H(X):|F|\leq 2\}}
. A base of
H
(
X
)
{\displaystyle H(X)}
is the family of all sets of the form
⟨
U
0
,
…
,
U
n
⟩
=
{
F
∈
H
(
X
)
:
F
⊆
U
0
∪
⋯
∪
U
n
,
F
∩
U
i
≠
∅
for
0
≤
i
≤
n
}
{\displaystyle \langle U_{0},\dots ,U_{n}\rangle =\{F\in H(X):F\subseteq U_{0}\cup \dots \cup U_{n},F\cap U_{i}\neq \emptyset {\text{ for }}0\leq i\leq n\}}
, where
n
{\displaystyle n}
is any integer, and
U
i
{\displaystyle U_{i}}
are open in
X
{\displaystyle X}
. If
X
{\displaystyle X}
is compact, then we say a Hausdorff space
Y
{\displaystyle Y}
is hyadic if there exists a continuous surjection from
H
(
X
)
{\displaystyle H(X)}
to
Y
{\displaystyle Y}
.
Polyadic spaces are hyadic.
See also
Dyadic space
Eberlein compactum
Stone space
Stone–Čech compactification
Supercompact space
References
Kata Kunci Pencarian:
- Polyadic space
- Dyadic space
- Alexandroff extension
- Arity
- Tensor rank decomposition
- Paul Halmos
- Glossary of general topology
- Quasigroup
- Dyadics
- Tensor
