User:Dfeuer/Topological Field
Jump to navigation
Jump to search
Definition
Let $\struct {!, @, \#}$ be a field with zero $*$.
Let $\%$ be a Definition:Topology over $!$.
Let ${\&} \colon {!} \setminus \set * \to {!}$ with
- $\map \& \sim = {\sim}^{-1}$ for each ${\sim} \in {!}$
Then $\struct {!, @, \#, \%}$ is a topological field if and only if
- $\struct {!, @, \#, \%}$ is a Topological Ring.
- $\&$ is a Continuous Mapping.