topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
An operator topology is an abbreviation of a topology on a space of (continuous linear) operators between topological vector spaces over a fixed field of reals or complexes (possibly also p-adics, skewfield of quaternions etc.). In other words the hom-sets in the category of topological vector spaces as objects and continuous linear operators as morphisms are equipped with an operator topology.
There are many widely used topologies, some with standard names. Let be the set of continuous linear operators.
weak operator topology on is given by the basis of open neighborhoods of zero given by sets of the form where and . A sequence converges to in weak operator topology iff the sequence converges to in the weak topology on . We write or .
strong operator topology: the basis of neighborhoods of zero is given by sets , where and is a neighborhood of zero in . For convergence of sequences, we write or .
uniform operator topology: here we assume that are normed spaces with norms , . Then has a uniform operator topology induced by the norm given by the formula
The reason that in the definition of a unitary representation, the strong operator topology on is used and not the norm topology, is that only few homomorphisms turn out to be continuous in the norm topology.
Example: let be a compact Lie group and be the Hilbert space of square integrable measurable functions with respect to its Haar measure. The right regular representation of on is defined as
and this will generally not be continuous in the norm topology, but is always continuous in the strong topology.
Last revised on September 19, 2021 at 10:13:05. See the history of this page for a list of all contributions to it.