Skip to main content
added 2 characters in body
Source Link
KP Hart
  • 11.4k
  • 38
  • 48

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures, and such that $F\subseteq U$ and $G\subseteq V$, can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

Likewise "if $F$ is closed and $U$ is open with $F\subseteq U$ then there is an open $V$ with $F\subseteq V\subseteq\overline{V}\subseteq U$" becomes: "if $F\in\mathcal{C}$ and $U\in\mathcal{B}$ with $F\subseteq U$ then there are $V\in\mathcal{B}$ and $G\in\mathcal{C}$ with $F\subseteq V\subseteq G\subseteq U$".

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures, and such that $F\subseteq U$ and $G\subseteq V$, can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures, and such that $F\subseteq U$ and $G\subseteq V$, can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

Likewise "if $F$ is closed and $U$ is open with $F\subseteq U$ then there is an open $V$ with $F\subseteq V\subseteq\overline{V}\subseteq U$" becomes: "if $F\in\mathcal{C}$ and $U\in\mathcal{B}$ with $F\subseteq U$ then there are $V\in\mathcal{B}$ and $G\in\mathcal{C}$ with $F\subseteq V\subseteq G\subseteq U$".

added 2 characters in body
Source Link
KP Hart
  • 11.4k
  • 38
  • 48

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures, and such that $F\subseteq U$ and $G\subseteq V$, can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures and such that $F\subseteq U$ and $G\subseteq V$ can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures, and such that $F\subseteq U$ and $G\subseteq V$, can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

Added a paragraph about an intermediate step.
Source Link
KP Hart
  • 11.4k
  • 38
  • 48

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures and such that $F\subseteq U$ and $G\subseteq V$ can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

You can copy any standard proof of Urysohn's Lemma and substitute "member of $\mathcal{B}$" for "open set" and "complement of member of $\mathcal{B}$" for closed set.

Let $\mathcal{C}$ denote $\{X\setminus B:B\in\mathcal{B}\}$. Then point a says: if $x\in X$ and $C\in\mathcal{C}$ are such that $x\notin C$ then there is a $C'\in\mathcal{C}$ such that $x\in C'$ and $C'\cap C=\emptyset$. And point b says: if $C$ and $D$ are disjoint members of $\mathcal{C}$ then there are disjoint members $U$ and $V$ of $\mathcal{B}$ such that $C\subseteq U$ and $D\subseteq V$.

Now any standard proof will yield, given disjoint members of $\mathcal{C}$, a continuous function that separates them.

The lemma that given disjoint closed sets $F$ and $G$ one can find disjoint open sets $U$ and $V$ with disjount closures and such that $F\subseteq U$ and $G\subseteq V$ can be replaced by the following: if $F$ and $G$ are disjoint members of $\mathcal{C}$ then there are $C$ and $D$ in $\mathcal{C}$ and $U$ and $V$ in $\mathcal{B}$ such that $F\subseteq U\subseteq C$, $G\subseteq V\subseteq D$ and $C\cap D=\emptyset$.

Source Link
KP Hart
  • 11.4k
  • 38
  • 48
Loading