Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
locally_finite_topology_subset [2016/09/14 15:31] nikolaj |
locally_finite_topology_subset [2016/09/14 15:34] nikolaj |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ==== Set ==== | ==== Set ==== | ||
| | @#55CCEE: context | @#55CCEE: $\langle X,\mathcal T\rangle$ ... topological space | | | @#55CCEE: context | @#55CCEE: $\langle X,\mathcal T\rangle$ ... topological space | | ||
| - | | @#FFBB00: definiendum | @#FFBB00: $C$ in it | | + | | @#FFBB00: definiendum | @#FFBB00: ${\mathcal C} in it | |
| - | | @#AAFFAA: inclusion | @#AAFFAA: $C\subset \mathcal T$ | | + | | @#AAFFAA: inclusion | @#AAFFAA: ${\mathcal C}\subset \mathcal T$ | |
| | @#FFFDDD: for all | @#FFFDDD: $x\in X$ | | | @#FFFDDD: for all | @#FFFDDD: $x\in X$ | | ||
| | @#FFFDDD: exists | @#FFFDDD: $V\in \mathcal T$ | | | @#FFFDDD: exists | @#FFFDDD: $V\in \mathcal T$ | | ||
| | @#55EE55: postulate | @#55EE55: $x\in V$ | | | @#55EE55: postulate | @#55EE55: $x\in V$ | | ||
| - | | @#55EE55: postulate | @#55EE55: $\{U\in C\,|\,U\cap V\neq\emptyset\}$ ... finite | | + | | @#55EE55: postulate | @#55EE55: $\{U\in {\mathcal C}\,|\,U\cap V\neq\emptyset\}$ ... finite | |
| ----- | ----- | ||
| === Idea === | === Idea === | ||
| - | Like many properties, this is a notion of smallness, and more particularly, not smallness of a subset of $X$ but smallness of a collection $C$ of subsets of $X$. | + | Like many properties, this is a notion of smallness. It's not about the smallness of a subset $U$ of $X$, but smallness of a collection ${\mathcal C}$ of subsets $U$ of $X$. |
| - | You choose a small sample of neighborhoods (the sets $V\in\mathcal T$) and $C$ ought to be countable w.r.t. to that sample, i.e. pro $V$. | + | You may consider a well choosen collection of neighborhoods (the sets $V\in{\mathcal T}$) and ${\mathcal C}$ ought to be countable w.r.t. to that sample, i.e. pro $V$. |
| === Dicussion === | === Dicussion === | ||
