- ベストアンサー
0以外の実数全体のどれかになるｘを記号で表す
おかしなタイトルですが 定義域が実数全体である場合 ｘ∈R というような書き方をしてもよいのでしょうか？ また、定義域が0をのぞく実数全体である場合は どのような記号で書けばよいのでしょうか？ 回答・アドバイスよろしくお願いします。
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (3)
- oobdoo
- ベストアンサー率46% (13/28)
- oobdoo
- ベストアンサー率46% (13/28)
x∈R/{0} と書けばよいと思います。
お礼
ありがとうございました。
- kyofu-chan
- ベストアンサー率23% (109/464)
集合の条件部分に「x ≠ 0」もしくは「x > 0、または x < 0」
お礼
回答ありがとうございます。
関連するQ&A
- 実数全体の集合,超実数全体の集合,複素数全体の集合の包含関係は?
超実数なるものを知りました。 「公理:Rは完備順序体である 公理:R*はRの真拡大順序体である Rを実数体,R*を超実数体と言い、それぞれの元を実数,超実数と言う」 といったものですが 実数全体の集合,超実数全体の集合,複素数全体の集合の包含関係はどうなっているのでしょうか? また、実数は直線,複素数は縦軸を書き足して平面として表す事が出来ますよね。超実数はこれらに何を書き足して表されるのでしょうか?
- ベストアンサー
- 数学・算数
- [定理]任意の有限超実数はちょうど一つの実数に無限に近い。
宜しくお願い致します。 超準解析での標準部分定理の証明で分かりません。 Rは実数体でR*は超実数体とします。R⊂R*でR*はRの真の順序拡大体になってます。 x∈R*でxが有限超実数であるの定義は0<∃r∈R;|x|<rが成り立つです。 x,y∈R*において,x～yはxとyが無限に近い(0<∀r∈R,|x-y|<r)を意味する記号です。 [定理]任意の有限超実数はちょうど一つの実数に無限に近い。 [証] 一意性の証明は略す。 存在性を示す。 xを有限超実数とする。 X={s∈R;s<x}と置くと,Xは空でなく,上に有界である。実際,或る実数にrに対して|x|<r(∵xは有限超実数),即ち-r<x<rが成り立つから,-rはXに属し,rはXの一つ上界である。そこでXの上限をtとする。任意の正実数rに対し, x≦t+r。従って,x-t≦r t-r≦x。従って,-(x-t)≦r となるからx-t～0即ち,x～t (終) となっているのですがt∈Rである保証はありませんよね。t∈R*＼Rの場合でないとどうして言い切れるのでしょうか?
- ベストアンサー
- 数学・算数
- 実数の定義について
実数の定義は、いろいろあるようですが、 "切断による定義" が理解できずにいます。 よく言われるのが、 " 有理数Qの切断を実数Rとする " というのがありますが、 そもそも有理数しかない集合を切断したところで、 なぜ実数が定義できるのか、よくわかりません。 これとは異なり、 " 有理数体における基本列（コーシー列）全体のなす集合を実数とする " というのは何となく理解できています。 （基本列の極限をとると無理数が生成される様子がイメージできる） 両者の定義は、数学的には同じということらしいですが、 とてもそうは見えません。 切断による実数の定義はどのようなイメージができれば 理解できますか？
- ベストアンサー
- 数学・算数
- 実数に関する証明
高校数学を独学で勉強している者です。 実数にも、ある実数の次の実数みたいなものが存在することの証明を考えました。 <証明> r,y,xがRを議論領域としているとします。 (∃r)(∀y)(∃x)[r≧y∨(r＜x∧y＞x)]と仮定します。 この命題が存在を主張しているrをr1とします。そうすると、 (∀y)(∃x)[r1≧y∨(r1＜x∧y＞x)]となります。よって、 (∃x)[r1≧y∨(r1＜x∧y＞x)]。 r1より大きい任意の実数をy1として、yに代入します。そうすると、 (∃x)[r1≧y1∨(r1＜x∧y1＞x)]。よって、 (∃x)[r1＜x∧y1＞x]。 ここで、y1はr1よりも大きい任意の実数だったので、 (∃x)[r1＜x∧r1≧x]。 これは、矛盾です。 よって、(∀r)(∃y)(∀x)[r＜y∧(r＜x⇒y≦x)]が成り立つことになります。 上の証明が合っているかどうか知りたいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 実数関数f(x)について
f(x)が実数関数のとき、 ∀x ∈ R f(x)=0の条件でのf(x)、∃x ∈ R f(x)=0の条件でのf(x)は、 それぞれ別の名前があるそうですが、それは何と呼ぶのでしょうか？ ご教授お願いします。
- ベストアンサー
- 数学・算数
- 絶対値 実数 複素数
絶対値について教えて下さい。 実数における絶対値の定義は、 x≧0ならば、｜x｜=x x<0ならば、｜x｜=-x と定義されます。 実数における絶対値｜x｜が一価関数であり、逆関数は 二価関数であることは理解できます。 複素数における絶対値の定義は、 z=a+ibを考えると、 ｜z｜=√ｚｚ＾-=√a^2+b^2 と定義されます。 ここで、｜z｜は一価関数だと思うのですが、逆関数はどうなのでしょうか？ ｜z｜=√a^2+b^2を満たすa,bは無限に存在するから無限価関数となるのでしょうか？ 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 「実数が０で割れないことの証明につき」
「実数を０では割れないという（定義）」に矛盾はないということを積極的に証明する手立てはないのでしょうか。と申しますのは、「定義」は万が一にでも誤っている可能性があり、その場合は、その「定義」自体が、意味をなさないものとなってしまいます。そういった事態を防ぐためにも「能動的に実数を０で割れないという証明」が、できないでしょうか。御教示方何卒宜しくお願い申し上げます。下記は、「教えてgoo」に前回提出した質問で、これにかかわる問題をＸ氏と当方で投げ合ったものです。Ｘ氏には、お許しもいただかずに引用させていただきましたことをお許し下さいませ。 Ｘ氏>『定義』は『証明』されなければ必ずしも正しいといえず『定理』となりえない。（当方の文より引用） 定義は証明するものではありません。天下り的に与えられるものです。 通常は矛盾がなければ正しい定義だとみなされます。(意味があるかは別にして) 当方：「受動的にそれを否定する証明」がない限りとおっしゃっている意味にとらえられるのですが、逆に「能動的に誤謬がないことを証明」する方法はないのでしょうか。これについて述べていただいているＵＲＬを因みに御添付いたします。例えば「3/0」を「定義されていない」だけですませうるのでしょうか。「http://www.uja.jp/modules/weblog/details.php?blog_id=655」以上 今後ともご指導ご鞭撻何程宜しくお願い申し上げます。ありがとうございました。 Ｘ氏：ナイスな着眼です。 もちろん「証明する必要がある」のですが、非常に難しいです。 それは何をもって「実数」とするのか？という問いとほぼ同じです。 当方：その証明をしていただくわけにはお願いできませんでしょうか。もしくは、それが、明らかに「高等学校の数学課程」をこえていることを説明していただけませんでしょうか。 Ｘ氏：ムリ。私の手に余る。 別途、実数体の定義の無矛盾性について質問を立てれば、誰か数学基礎論に詳しい人が回答してくれるかも。
- 締切済み
- 数学・算数
お礼
集合記号なのでこういう書き方をしなければ ならないのですね。 回答ありがとうございました