User:Dfeuer/Topological Field

From ProofWiki
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.