Projectively extended real line: Difference between revisions

Content deleted Content added
Pretty sure I’ve figured out how to add the Tilda onto the rest of the infinites to be sure they are unsigned. This is a notation fix.
Tags: Reverted Mobile edit Mobile web edit
Dividing by zero: Fixed the notation, making the infinities unsigned.
Tags: Reverted Mobile edit Mobile web edit
Line 14:
:<math>\frac{a}{0} = \tilde{\infty}</math>
 
for nonzero ''a''. In particular {{math|1/0 {{=}} <math> \tilde{\infty}</math>}}, and moreover {{math|1/<math> \tilde{\infty}</math> {{=}} 0}}, making [[Multiplicative inverse|reciprocal]], {{math|1/''x''}}, a [[total function]] in this structure. The structure, however, is not a [[field (mathematics)|field]], and none of the binary arithmetic operations are total, as witnessed for example by {{math|0⋅∞0⋅ <math> \tilde{\infty}</math>}} being undefined despite the reciprocal being total. It has usable interpretations, however – for example, in geometry, a vertical line has ''infinite'' [[slope]].
 
==Extensions of the real line==