door Hansicarpus » za 07 jun 2008, 02:36
Dus jullie zijn het in feite met me eens dat een rechte eigenlijk niet gedefinieerd mag worden als een cirkel met een oneindige straal?
Ik heb mij daarover nog niet uitgesproken. Een rechte kan je op verschillende manieren introduceren: puur axiomatisch (door te beschrijven hoe punten en rechten 'interageren'), als geodeet, als 1-dimensionale lineaire variëteit, enz... Een rechte als een cirkel of deel van een cirkel met een oneindige straal lijkt mij inderdaad een dubieus ding en eerder een prikkelend beeld dan een intelligente
definitie.
In feite zijn er in de klassieke metrische ruimten geen afstanden van oneindig toegestaan, je kunt wel limieten van allerlei figuren bestuderen. Maar die kunnen 'gekke' resultaten opleveren, vandaar mijn twee voorbeeldjes hierboven. Veel hangt ook van de context af: op een sfeer (=holle bol) is een rechte als geodeet ('kortste weg') een cirkel met een eindige straal en twee middelpunten (bijvoorbeeld de evenaar en de twee polen) ...
[quote]Dus jullie zijn het in feite met me eens dat een rechte eigenlijk niet gedefinieerd mag worden als een cirkel met een oneindige straal?[/quote]
Ik heb mij daarover nog niet uitgesproken. Een rechte kan je op verschillende manieren introduceren: puur axiomatisch (door te beschrijven hoe punten en rechten 'interageren'), als geodeet, als 1-dimensionale lineaire variëteit, enz... Een rechte als een cirkel of deel van een cirkel met een oneindige straal lijkt mij inderdaad een dubieus ding en eerder een prikkelend beeld dan een intelligente [i]definitie[/i].
In feite zijn er in de klassieke metrische ruimten geen afstanden van oneindig toegestaan, je kunt wel limieten van allerlei figuren bestuderen. Maar die kunnen 'gekke' resultaten opleveren, vandaar mijn twee voorbeeldjes hierboven. Veel hangt ook van de context af: op een sfeer (=holle bol) is een rechte als geodeet ('kortste weg') een cirkel met een eindige straal en twee middelpunten (bijvoorbeeld de evenaar en de twee polen) ...