The Π-Weight Πw(X) of a topological space X is the least cardinality of a π-network for X: a family of nonempty open sets such that every nonempty open set in X contains at least one member of the family.

Principle

Π-Weight quantifies the minimal size of a collection of nonempty open sets that 'hit' every nonempty open set; it organizes how sparsely one can sample opens while still meeting all nonempty opens.

Demonstration

For a discrete space of cardinality κ every singleton is open so the family of singletons is a π-network and Πw(X)=κ. For the real line R with the usual topology a countable π-network exists (e.g. rational-open-intervals), so Πw(R)=ℵ0.

Misapplication

Treating arbitrary families of sets (not open or possibly empty) as π-networks, or confusing Πw(X) with the weight w(X) (minimal base size) or the network weight Nw(X); these confusions overstate or understate the invariant.

Consequence

Knowing Πw(X) gives lower bounds on related invariants and can control covering and mapping behaviour: small Π-weight often yields separability-like consequences for images and subspaces.

Reversal

If one replaces the π-network requirement by a base requirement (every open set is union of base members) one obtains the ordinary weight w(X); reversing the quantification (requiring large families that miss some opens) yields complementary maximality notions, not Π-weight.

Boundary

Applies to topological spaces and their open-set structure; it presumes consideration of nonempty open sets and π-networks specifically, and does not measure closed sets, discrete subspaces, or algebraic bases unless they are expressed as π-networks.

Semantic Tension

Tension exists between Π-Weight and Network Weight or ordinary weight: π-networks only need to meet every nonempty open set, whereas networks or bases impose stronger inclusion conditions, producing different cardinal invariants.

Synthesis

Π-Weight is the minimal cardinality of a family of nonempty open sets that intersects every nonempty open set of X; it captures a sparse sampling capacity of the topology weaker than a base but strong enough to influence many cardinal invariants.