Completely regular space

In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces.

Version

v1 · 2026-09-28 · History

Domain-specific #

8598

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

General Topology → Mathematics

Core Idea

Completely regular space is treated here as the recurring mathematics and formal science identity summarized by this source-grounded definition: In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space is any completely regular space that is also a Hausdorff space; there exist completely regular spaces that are not Tychonoff (i.e. not Hausdorff).

How would you explain it like I'm…

Smooth Color-Fade Space

Imagine a spot on a map and a fenced-off area that doesn't include that spot. In a completely regular space, you can always paint a smooth fade of color across the whole map that is perfectly white at the spot and perfectly black everywhere on the fenced area, with no sudden jumps.

Separated by a Smooth Dial

Topology studies shapes and spaces by looking at which points are near each other, without caring about exact size. Separation rules describe how well you can pull apart points and regions in a space. A space is completely regular if, for any point and any closed region not containing it, you can make a smooth 'dimmer' — a function giving each spot a number from 0 to 1 — that is 0 at the point and 1 on the whole region. A Tychonoff space is a completely regular space that also follows another rule: any two different points can be put in separate little bubbles.

Function-Separated Points and Closed Sets

Completely regular spaces are a kind of topological space defined by a separation axiom — a rule about how well points and sets can be told apart. A space is completely regular if for every closed set C and every point x not in C, there is a continuous function from the space to the interval [0, 1] that sends x to 0 and every point of C to 1. The function acts as a smooth 'separator' between the point and the set. A Tychonoff space is a completely regular space that is also Hausdorff (any two distinct points have disjoint neighborhoods). Some completely regular spaces are not Hausdorff, so the two terms aren't always the same, though some authors use them loosely. Paul Urysohn used the idea in 1925 without naming it, and Andrey Tychonoff introduced the name 'completely regular' in 1930.

 

In topology, complete regularity is a separation axiom. A topological space X is completely regular if for every closed set C ⊆ X and every point x ∉ C there is a continuous function f: X → [0, 1] with f(x) = 0 and f(C) = {1}; thus points and closed sets are separated by real-valued continuous functions, not merely by open sets. A Tychonoff space is a completely regular space that is also Hausdorff. The two notions differ: there exist completely regular spaces that are not Tychonoff because they fail the Hausdorff condition. Conventions vary, and many sources use 'completely regular' and 'Tychonoff' freely while avoiding the numbered 'T' notation, so the Hausdorff convention in use should be stated. Urysohn used the notion in a 1925 paper without naming it, and Tychonoff introduced the term 'completely regular' in 1930.

Scope of Application

• Definitions. A topological space X is called if points can be separated from closed sets via (bounded) continuous real-valued functions.

• Definitions. In technical terms this means: for any closed set A \subseteq X and any point x \in X \setminus A, there exists a real-valued continuous function f : X \to \R such.

• Definitions. (Equivalently one can choose any two values instead of 0 and 1 and even require that f be a bounded function.).

• Naming conventions. In Wikipedia, the terms "completely regular" and "Tychonoff" are used freely and the "T"-notation is generally avoided.

• Examples. One of them is the so-called Tychonoff corkscrew, which contains two points such that any continuous real-valued function on the space has the same value at these two points.

Clarity

A clear use of Completely regular space names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces.

Manages Complexity

Completely regular space compresses multiple mathematics and formal science details into a stable diagnostic relation. The source shows both the central mechanism—specifically, complete regularity is preserved by taking arbitrary initial topologies and the Tychonoff property is preserved by taking point-separating initial topologies.—and the practical consequence—let ρ be the initial topology on X induced by C{\tau}(X) or, equivalently, the topology generated by the basis of cozero.

Abstract Reasoning

1. Type the carrier. Identify the mathematics and formal science entities to which the claim applies.
2. State the relation. Use the source-grounded identity: In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces.
3. Check operation and conditions. Like all separation axioms, complete regularity is not preserved by taking final topologies.
4. Demand recognition evidence. Completely regular spaces can be characterized by the fact that their topology is completely determined by C(X) or Cb(X).
5. Test variation.

Knowledge Transfer

Within the home domain. Knowledge about Completely regular space transfers literally when a new case preserves the same carrier type, relation, and recognition test. A topological space X is called if points can be separated from closed sets via (bounded) continuous real-valued functions. In technical terms this means: for any closed set A \subseteq X and any point x \in X \setminus A, there exists a real-valued continuous function f : X \to \R such that f(x)=1 and f\vert{A} = 0. Beyond the home domain. No canonical parent is asserted for Completely regular space.

Relationships to Other Abstractions

Current abstraction Completely regular space Domain-specific

Parents (1) — more general patterns this builds on

• Completely regular space is a kind of Regular space Domain-specific

  Complete regularity supplies continuous-function separation and therefore the point-versus-closed-set separation required by a regular space.

Hierarchy path (1) — routes to 1 parentless root

• Completely regular space → Regular space → Constraint

Neighborhood in Abstraction Space

Completely regular space sits in a moderately populated region (45^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Topological & Functional-Analytic Spaces (13 abstractions)

Nearest neighbors

• T0 space — 0.89
• Hereditarily normal space — 0.88
• T4 Space — 0.88
• Metrizable topological vector space — 0.87
• Directed algebraic topology — 0.86

Computed from structural-signature embeddings · 2026-10-08