1
$\begingroup$

If $w(X)\leq n$ ($n$ is finite), and if $B_1$ is a base of $X$ such that $|B_1|\leq n$, then for any base $B$ of $X$ we have $B_1$ is contained in $B$.

Can you help me in proving this fact?

  • 0
    I think that, as stated, the question is incorrect; you could have the true weight be much smaller than $n$ and the cardinality of $B_1$, and so have a base that is smaller than $B$. For example, if we took $X$ to be a set with $k$ elements endowed with the discrete topology, $B_1=\mathcal{P}(X)$, and $B$ the set of singletons, then set $n=2^k$; we have $w(X)\leq n$, $|B_1|\leq n$, both $B_1$ and $B$ are bases for $X$, but $B_1$ is not contained in $B$.2011-03-08

2 Answers 2

2

Assuming $w(X)$ is the minimun cardinality of a basis...

If a space $X$ has a finite basis, then it has finitely many open sets, and then every intersection of open sets is an open set. It follows that from this that for each $x\in X$ there is a minimal open set $U_x\subseteq X$ such that $x\in U$, and it is easy to see that every basis must contain the set $\mathcal B=\{U_x:x\in X\}$. As one can check that $\mathcal B$ is actually a basis, it is then the unique basis of cardinal $w(B)$ and it is contained in every other basis.

  • 0
    @Arturo: indeed. The $\leq$s do not make any sense...2011-03-08
0

Let $B_1$ be a base for $X$. Consider another base $B$ of $X$. Suppose $w(X) \leq n$ and $|B_1| \leq n$. Suppose for contradiction that $B \subset B_1$. You can probably use the following facts to come up with a contradiction:

  • The base elements cover $X$.
  • Let $B$ be a base. Suppose $x_1, x_2 \in B$. Let $l = x_1 \cap x_2$. Then for each $x \in l$, there is a base element $x_3$ containing $x$ and contained in $l$.
  • 2
    Two two poi$n$ts are, essentially, the definition of what being a basis means. It is not surprising that they should come up in proving something about bases! :)2011-03-08