The smallest cardinality of a basis for a topology on a given set; it is a cardinal invariant measuring how 'large' a topology is in terms of generating open families.

Principle

A basis generates a topology by unions, so minimizing the cardinality of such a generating family captures the minimal combinatorial complexity needed to recover the topology; weight is this minimal cardinal.

Demonstration

Examples: a discrete space on a set of cardinal κ has weight κ because every singleton must appear in a basis; the real line with its usual topology has weight ℵ0 (it is second-countable); many separable metric spaces have countable weight, while a product of continuum-many nontrivial spaces can have very large weight.

Misapplication

Confusing weight with density character or with the cardinality of the topology itself; assuming small weight implies small underlying set (a large set can carry a small-weight topology) or that weight is unchanged by common constructions without checking conditions.

Consequence

Weight constrains embedding and mapping properties: spaces of small weight embed into products of a bounded number of simple spaces and satisfy certain separability and Lindelöf-type consequences; it is central in classification by cardinal invariants.

Reversal

Considering maximal bases instead of minimal ones or switching to other invariants (e.g., network weight or character at a point) yields different measures of topological size emphasizing other structural aspects.

Boundary

Defined for topological spaces only; it concerns bases (families whose unions produce all opens) and thus excludes notions that rely on subbases or on purely categorical descriptions unless translated into basis cardinalities.

Semantic Tension

Weight sits near density character, Lindelöf number, and character: density measures size of dense subsets, weight measures generating families, and these can diverge; distinguishing them is important when classifying spaces.

Synthesis

Topological weight is the minimal number of basic open pieces needed to generate the topology, a cardinal invariant that quantifies the topology's combinatorial complexity and interacts predictably with separability, bases, and embeddings.