Skip to content

Commit

Permalink
P205 +topology
Browse files Browse the repository at this point in the history
Co-authored-by: Patrick Rabau <[email protected]>
  • Loading branch information
pzjp and prabau authored Mar 5, 2025
1 parent c480ff7 commit b105682
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spaces/S000134/properties/P000205.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,4 @@ In the radial metric every open half-ray starting at the origin is open, hence t

For any $p\in \mathbb R^2\setminus\{(0,0)\}$ the set
$R_p=\{\lambda p: \lambda >1\}$ is open
and $R_p\cup\{p\}=\{\lambda p: \lambda \geq 1\}$ is closed. Therefore $\mathbb R^2\setminus\{p\}$ is not {P36} in the radial matric.
and $R_p\cup\{p\}=\{\lambda p: \lambda \geq 1\}$ is closed. Therefore $\mathbb R^2\setminus\{p\}$ is not {P36} in the radial metric topology.

0 comments on commit b105682

Please sign in to comment.