Category:Definitions/Topological Fields

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Topological Fields.
Related results can be found in Category:Topological Fields.


Let $\struct {F, +, \circ}$ be a field with zero $0_F$.

Let $\tau$ be a topology on $F$.

Let $\struct {F, +, \circ, \tau}$ be a topological division ring.


Then $\struct {F, +, \circ, \tau}$ is a topological field.

That is, a topological field is a commutative topological division ring.

Pages in category "Definitions/Topological Fields"

This category contains only the following page.