• ベストアンサー

線分の定義

実数について勉強しています。 教科書では 線分 について明確な定義をすることなく進められています。 線分の定義を実数論の立場から教えてください。 ご回答よろしくお願いします。

noname#14799
noname#14799

質問者が選んだベストアンサー

  • ベストアンサー
  • masa072
  • ベストアンサー率37% (197/530)
回答No.1

線分とは、実数の点の集まり(集合)です。 例えば[0,1]の線分であれば、0から1までの実数を集めた集合と考えられます。 上記の線分の集合をLとすれば、 L={x|x∈[0,1]⊂R} と書けます。 2次元(xy平面)でも同様に定義できます。 (1,3)と(3,7)を結ぶ線分は、L'とすると、 L'={(x,y)|y=2x+1,x∈[1,3]⊂R} と書けます。

関連するQ&A

  • 線分の定義について

    実数について勉強しています。 教科書では 線分 について明確な定義をすることなく進められています。 線分の定義を実数論の立場から教えてください。 ご回答よろしくお願いします。

  • 虚数の定義について

    教科書では虚数は、i^2=-1と定義されていますが、これは実数上で累乗の計算が可能であり、そこから複素数上でも累乗可能だと仮定が組み込まれているように思います。しかし、√-1×√-1≠1のように実数上で成り立っていた計算が、複素数上で成り立他なくなる事例があるように、仮定が成り立たなくなり、教科書の方法では矛盾が生じてしまうと思いますが、どうでしょうか?

  • ベクトルと有向線分の違い

    向きのついた線分と、向きと長さだけに着目した線分と、違いは教科書に載っていますが、 結局何が違うのか、イメージがわきません。 回答よろしくお願いします。

  • 線分の交点

    1点を通り、ある角度を持つ、無限長の線分を定義する構造体 struct LongLine{ CPoint p; double dAngle; }; を作りました。 これを使って2つの線分の交点を求める関数を作りたいと思いますが、なかなかできかません。

  • 「六角形」は「外側の線分のみ」か「内部」も含むか

    「(インクやペンキなどで)六角形を描いた」と表現する場合、通常の定義では、「六角形の外周側の線分だけ(六角形のの内部は含まない)を描いた」という意味になるでしょうか? それとも、「六角形の外周側の線分と内部との全体を『塗りつぶす』ように描いた」という意味になるでしょうか? 「六角形の外周(外側)の線分だけ(六角形内部はなし)を描いた」と言いたいときは、「六角形の外周の線を描いた」という表現でよいでしょうか?

  • 線分に分点を設定したとき 長さの比が必ずt:1-t

    質問1 任意の2本の線分を考えます。 このとき2線分の長さ比は、必ずしもt:1-tで表せるとは限りませんよね (tは任意の実数) 直感的に表すことはできないと思うのですが、うまく証明できませんでした 証明を教えてください。 質問2 任意の線分AB に 任意の分点O を設定し 線分AO と 線分OB に分けたときには 線分AO と 線分OB の長さの比は 必ずt:1-tで表せますよね? (tは任意の実数) このことも証明できませんでした。 証明を教えてください。 ※ちなみにこの分点は 内分点であるケース 外分点であるケース 両方を想定しています。

  • 有向線分はベクトルの仲間?

    高校の数Bの教科書で 「有向線分は位置と向きと大きさで決まる。」 「有向線分において、その位置を考えないで向きと大きさだけで定まる量をベクトルという。」 と記載されていたのですが このことから有向線分はベクトルの特別の場合と解釈していいのでしょうか?

  • 実数の定義について

    実数の定義は、いろいろあるようですが、 "切断による定義" が理解できずにいます。 よく言われるのが、 " 有理数Qの切断を実数Rとする " というのがありますが、 そもそも有理数しかない集合を切断したところで、 なぜ実数が定義できるのか、よくわかりません。 これとは異なり、 " 有理数体における基本列(コーシー列)全体のなす集合を実数とする " というのは何となく理解できています。 (基本列の極限をとると無理数が生成される様子がイメージできる) 両者の定義は、数学的には同じということらしいですが、 とてもそうは見えません。 切断による実数の定義はどのようなイメージができれば 理解できますか?

  • 双曲線の定義

    数cの教科書に 双曲線の説明として、 2定点fとf’(焦点)からの差が 一定である点pの軌跡を 双曲線と呼ぶ。 ただし距離の差は、線分ff’の長さより小さいものとする。 とあるのですが、 もし距離の差が線分ff’の長さよりも大きかったら どのような曲線になるのでしょうか? 自分で計算してみたら、楕円の式になってしまい、 それだと距離の和が一定になってしまって、 差が一定ということをみたしませんでした。。。 そもそも距離の差が線分ff’の長さよりも大きい曲線 というものは存在するのでしょうか?  なぜ双曲線の定義の中に 「線分ff’の長さより小さいものとする」 という言葉が含まれていなければならないのかを わかる方がいたら教えてください。

  • 命題「存在は定義できない」について。

    「存在は定義できない」という命題が真か偽か、意見が分かれると思います。 ハイデガーなどはこの命題が真であるとの立場をとり、西洋哲学(=哲学史)を勉強した人などもこの主張を支持する人が多いようです。 私はこの命題が偽であるとの立場で論理的な説明を試みたのですが、途中で疲れてしまいました。 疲れてしまう理由は、「どこの誰かが何か言った」などという論理的ではないリファレンスが登場して、これを逐一否定しようとすると枝葉末節に入り込んでしまうからなのです。 そこで、「どこぞの某がこう言った、ああ言った」というリファレンスを無しに、命題が偽であることを説明できないかと考えています。 方法論は、公理的集合論(axiomatic set theory)を用いるのが良いと思っています。 あくまで「存在は定義できない」というのは公理ではないとし、他に、一般に合意可能な内容をいくつか公理として選択し、最終的に「存在は定義できない」という命題が偽であると立証したいのです。 数学や論理学など得意な方、どなたか、手伝っていただけないでしょうか? 質問:命題「存在は定義できない」が偽であることを立証できますか? (なお、これが命題である以上、これを公理には選択できません。)