→ビギナー向け「触点」定義 →厳密な「触点」定義: → 距離のみを用いた表現 → 開区間を用いた表現 → 近傍を用いた表現 → 外点を用いた表現 → 閉包を用いた表現 → 内点・境界点を用いた定義 → 孤立点・集積点を用いた定義 → 数列を用いた定義 →実数−《実数の集合》間の位置関係一覧 →トピック一覧:距離空間(R,d) →総目次 |
|
||||
【上記の「触点」定義の曖昧さ】 ・自然数や整数のなかで考えるときは、自然数nの「直前」「直後」「隣」は、ハッキリしている。 たとえば、「3の直前」は2、「3の直後」は4、したがって、「3の隣」は2と4、というように。 ・ところが、実数の範囲に広げて考えると、実数aの「直前」「直後」「隣」は、何を指すのか、不明確になってしまう。 ・たとえば、πの「直前」「直後」「隣」とは、何を指すのだろう? ・3は、πの「前」にはあるけれど、 3よりは、3.1のほうが、πの「直前」には相応しい。 ・しかし、3.1よりは、3.14のほうが、πの「直前」には相応しい。 ・しかし、3.14よりは、3.145のほうが、πの「直前」には相応しい。 ・しかし、3.145よりは、3.1459のほうが、πの「直前」には相応しい。 : : ・こんな具合で、 実数aの「直前」「直後」「隣」は、確かにあるはずなのだけども、 これだと思って捕まえようとした途端、もっと、実数aに近い「直前」「直後」「隣」が必ず現れてくるので、 どこまでいっても、どの実数が実数aの「直前」「直後」「隣」なのか、明示できなくなってしまうのだ。 どの実数が実数aの「直前」「直後」「隣」なのか、明示できないということは、 実数aの隣(直前・直後)が、「Eに属す実数」なのかどうかも、明示できない。 だから、上記の定義に照らし合わせて、 「《Eに属さない実数》aが『Eの触点』である」がどうか判定しようとしても、 その結果を明示することは出来ないということになる。 ・こうした事態は、《切れ目がない》という実数の性質に起因する。 実数には《切れ目がない》から、実数aの「直前」「直後」「隣」にあたる実数は?という発想が不適切になるのだ。 ならば、 実数aの「直前」「直後」「隣」ではなく、 実数aの前後をカバーする《切れ目がない》ゾーンに着目すれば、 もっと明確に「《Eに属さない実数》aが『Eの触点』である」ということを定義できるのではないか。 この発想で組み立てられたのが、下段の厳密な「触点」定義になる。 |
||||
→触点トップ →実数−《実数の集合》間の位置関係一覧 →[トピック一覧:距離空間(R,d)] →総目次 |
→触点トップ →実数−《実数の集合》間の位置関係一覧 →トピック一覧:距離空間(R,d) →総目次 |
→触点トップ →実数−《実数の集合》間の位置関係一覧 →トピック一覧:距離空間(R,d) →総目次 |