The minimal cardinality of a dense subset of a topological or metric space; it is a cardinal invariant indicating how small a dense set can be.

Principle

A subset is dense if its closure equals the whole space; minimizing the cardinality of such sets gives the density character, which measures how 'approximable' the space is by few points.

Demonstration

Examples: the rational numbers are a countable dense subset of the real line, so the density character of R (with the usual topology) is ℵ0; a discrete space of cardinal κ has density character κ because no proper smaller subset is dense.

Misapplication

Mistaking density character for separability (they coincide when density character is countable but the term is cardinal-valued) or conflating density with weight or topological dimension; assuming a small density forces small weight is incorrect in general.

Consequence

Density character determines separability and influences functional and measure-theoretic properties (e.g., existence of countable dense sets allows sequences to approximate points); it is used to bound other invariants and to classify spaces in analysis and topology.

Reversal

Considering nowhere dense sets or notions of meagerness highlights the opposite property: a space with large nowhere dense structure may have small density character but still be topologically 'thin' in other senses.

Boundary

Defined for topological or metric spaces using closure; it does not capture internal local complexity like character at a point or network weight and is insensitive to how dense sets are distributed, only to their minimal cardinality.

Semantic Tension

Density character overlaps with separability, weight, and network-related invariants; the tension lies in using density (a measure of approximation by points) versus bases or subbasis sizes (measures of open-set complexity).

Synthesis

Density character is the smallest number of points needed to form a dense subset: a cardinal invariant measuring how economically the whole space can be approximated by a dense discrete set, central to separability and approximation arguments.