• Source: Upper topology

In mathematics, the upper topology on a partially ordered set X is the coarsest topology in which the closure of a singleton



{
a
}


{\displaystyle \{a\}}

is the order section



a
]
=
{
x
≤
a
}


{\displaystyle a]=\{x\leq a\}}

for each



a
∈
X
.


{\displaystyle a\in X.}

If



≤


{\displaystyle \leq }

is a partial order, the upper topology is the least order consistent topology in which all open sets are up-sets. However, not all up-sets must necessarily be open sets. The lower topology induced by the preorder is defined similarly in terms of the down-sets. The preorder inducing the upper topology is its specialization preorder, but the specialization preorder of the lower topology is opposite to the inducing preorder.
The real upper topology is most naturally defined on the upper-extended real line



(
−
∞
,
+
∞
]
=

R

∪
{
+
∞
}


{\displaystyle (-\infty ,+\infty ]=\mathbb {R} \cup \{+\infty \}}

by the system



{
(
a
,
+
∞
]
:
a
∈

R

∪
{
±
∞
}
}


{\displaystyle \{(a,+\infty ]:a\in \mathbb {R} \cup \{\pm \infty \}\}}

of open sets. Similarly, the real lower topology



{
[
−
∞
,
a
)
:
a
∈

R

∪
{
±
∞
}
}


{\displaystyle \{[-\infty ,a):a\in \mathbb {R} \cup \{\pm \infty \}\}}

is naturally defined on the lower real line



[
−
∞
,
+
∞
)
=

R

∪
{
−
∞
}
.


{\displaystyle [-\infty ,+\infty )=\mathbb {R} \cup \{-\infty \}.}

A real function on a topological space is upper semi-continuous if and only if it is lower-continuous, i.e. is continuous with respect to the lower topology on the lower-extended line




[
−
∞
,
+
∞
)

.


{\displaystyle {[-\infty ,+\infty )}.}

Similarly, a function into the upper real line is lower semi-continuous if and only if it is upper-continuous, i.e. is continuous with respect to the upper topology on




(
−
∞
,
+
∞
]

.


{\displaystyle {(-\infty ,+\infty ]}.}





See also


List of topologies – List of concrete topologies and topological spaces




References



Gerhard Gierz; K.H. Hofmann; K. Keimel; J. D. Lawson; M. Mislove; D. S. Scott (2003). Continuous Lattices and Domains. Cambridge University Press. p. 510. ISBN 0-521-80338-1.
Kelley, John L. (1975). General Topology (2nd ed.). Springer-Verlag. ISBN 978-0-387-90125-1. (1st ed., 1955) p.101
Knapp, Anthony W. (2005). Basic Real Analysis. Birkhhauser. p. 481. ISBN 0-8176-3250-6.

Kata Kunci Pencarian:

• Hewan
• Himpunan indeks
• Geometri
• Irisan (teori himpunan)
• Brakiopoda
• 0,999...
• Urutan total
• Ruang vektor
• Grup (matematika)
• Upper topology
• Lower limit topology
• Specialization (pre)order
• List of general topology topics
• Order topology
• Topology
• Scott continuity
• List of order theory topics
• Initial topology
• Glossary of general topology