User:Dfeuer/Topological Field

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\left({!,@,\#}\right)$ be a field with zero $*$.

Let $\%$ be a Definition:Topology over $!$.

Let ${\&} \colon {!} \setminus \{*\} \to {!}$ with

$\&\left({\sim}\right) = {\sim}^{-1}$ for each ${\sim} \in {!}$


Then $\left({!,@,\#,\%}\right)$ is a topological field iff