Skip to content

Commit

Permalink
Small fixes.
Browse files Browse the repository at this point in the history
  • Loading branch information
Almanzoris authored Sep 21, 2024
1 parent 406e0a4 commit c755ea7
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
5 changes: 2 additions & 3 deletions spaces/S000107/properties/P000187.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,8 @@ Note that the {P187} property is hereditary.
Let $f_{m,n}:\omega\to\mathbb R$ be defined by
$f_{m,n}(m)=\frac{1}{m+2}$ and $f_{m,n}(k)=0$ otherwise.

So the result follows as the subspace
$\{\vec 0\}\cup\{f_{m,n}:m,n<\omega\}$ is a copy of
is homeomorphic to
The result follows as the subspace
$\{\vec 0\}\cup\{f_{m,n}:m,n<\omega\}$ is homeomorphic to
{S131}
and {S131|P187}.

Expand Down
2 changes: 1 addition & 1 deletion spaces/S000107/properties/P000191.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,6 @@ refs:
---

Each $f:\omega\to\mathbb R$ is the countable intersection of
$\bigcap_{m<\omega}\prod_{n<\omega}(f-\frac{1}{m+1},f+\frac{1}{m+1})$.
$\bigcap_{m<\omega}\prod_{n<\omega}(f(n)-\frac{1}{m+1},f(n)+\frac{1}{m+1})$.

See {{mathse:1644041}}.

0 comments on commit c755ea7

Please sign in to comment.