トポロジーにおけるコンパクト性って何ですか?
わからなくて困っています、教えてください。

このQ&Aに関連する最新のQ&A

A 回答 (6件)

三たび、stomachmanです。


「位相」という言い方をした前科のある奴(livermanとしましょう)に議論をふっかけて、stomachmanとlivermanが勝手に「再構成」した「テツガク的用語」としての「位相」の意味。(従って問題の著者や哲学界一般での用法、位相と一致しているとはとても思えません。)「」は全て、比喩的に導入した用語の事です。

 物事や問題やその他、議論の対象を「点」とみなす。だって『問題点』とか言うじゃないか。「点」は単独では意味を持たない。必ずそれに関連する様々な別の「点」があり、沢山の「点」の関連の「網目」の中で相対的に意味が出て来る。だから問題にしている「点」の周りにどんな「網目」を想定しているか、によってその「点」が置かれていると考える「網目」の構造が異なる。
 この「点」が近くにある他の「点」とどんな関連を持っているか、その繋がり方、これを(位相空間からのアナロジーで)「位相」と言ってみる。だから『こういう位相で問題を捉える』という言い方は『他の問題との関連をこのように考える』という意味であり、従って単に『観点』と言い換えて全く差し支えない。
 ある「点」から「遠い」点も「近い」点もある。「近さ」を測る何か「距離」のようなものが考えられる場合もあるだろう。また「点」は必ずしも「離散的」ではない。場合によってはその「点」から微妙にずれた「点」というものが「幾らでも」考えるられるかも知れない。従って「点」と「点」の間に「隙間」がない「稠密な」「網目」というものもアナロジーとして考え、こういった無限の「点」の集まりの「網目」が「総体として自己完結的」であるような、そういう状態を「コンパクト」と言ってみよう。必ずしも単に小さな円盤、というような単純な「構造」をしておらず、もう少し大局的に見ると、あちこちに思いがけない「抜け道」、「トンネル」、「草っ原」(<なんでやねん)があって、摩訶不思議な「迷路」になって「絡み」合っているだろう。この複雑な構造を持つものを(位相幾何学の多様体のアナロジーとして)問題の「多様体」と言ってみたり、その構造を「トポロジー」と呼んでみる。
 このような「トポロジー」的な用語って、何かを生み出すのであろうか。問題が個別に意味を持っているうちは、系統的に「多様体」を分類出来るわけがない。逆に、もし本当にコンパクト性を示せたら十把一絡げに有限の議論で無限個の「点」を処理してしまえる。それは個別の問題の中身を一切捨象して初めて可能である。問題「点」そのものを論じた議論としては、抽象的すぎる空論、議論のための議論、であり意味がない。しかし全く意義がないかと言うとそうでもなく、むしろ議論の形式の分類をやっている訳で、これは一種の論理学に他ならない。(実はこのへんを本気で数学として扱おうという新興分野として、情報幾何学があります。その中身については不勉強で...ごめんなさい。)
 『君が言っている議論は、XXと全く同じトポロジーを持っている』なんて、『議論の構造が似ている気がする』の意味で言うのが大抵の場合だろう。だけど本当に同型写像(isomorphism)が定義できる場合もないとは限らない。ある一冊の本の用語を全て系統的に書き換えて、(例えば「笑い」「人間」....を「らっきょ」「たらこ」....と書き換えて)それでもし本全体の辻褄が合ってしまえば、両者は同じ「トポロジー」を持っている議論だと言っちゃって良いんじゃないか?従って、議論にまつわる様々なイメージ、背景知識というものを論者と読者が暗に共有していると仮定せずに、問題の「点」にまつわる「網目」全体を主題化して、一切の先入主を断ち切った本がもし書けたとするなら、真に抽象的な議論が可能だ。
 これを実際やっているのが数学で、そこで言う『数学的対象』は未定義のままである。だからこそ現実の問題と対応を付けることによって、現実の『ケーキをどうやって分けるか』なんて問題を数学の中に「同型写像」として写し、そこで問題を解いて、再び現実の『分け方』に戻ってくることができる。(もう少し制限を緩やかにして、かつ現代風に言いいたいなら、圏論の言葉を使って「射」だとか「pull back」だとか言ってみると、きっと相手は韜晦されて目を白黒するぞ。)
 このへんで議論が発散してダウンしました。
    • good
    • 0

 再びstomachmanです。


 まさか哲学の話とは思いもよらず、あの、アレでした。oodaiko先生がお出ましなので、なおさらアレですけど(^^;
 で、哲学的文脈におけるコンパクト性とは何か。
 この場合、位相数学をホンマモンの形而上学とみなしている訳じゃなくて、単にアナロジーとして言っている可能性がある。だから、かなりいい加減に感覚的に解釈したらどうなるのか。何が連想できそうか。もうこれは数学じゃないので、oodaiko先生、ひとつ目をつぶってて下さいな。(目に余る?すいません)

(1) コンパクトな集合の中から選んだ適当な無限点列の極限として、何も新しいものは出てこない。極限に答があるなら、必ず元の集合の中に初めからある。そういう意味で閉じている。付け加えるものはない。完成している。自己充足的。まとまってる。発展しない。終わっている。つまらん。そういう性質。まさに「コンパクト」とは良くぞ言ったと思います。

(2) コンパクトだと「連続的」というべきか「点と点の間に隙間がない」というべきか、何だかつるんとした断片のようなもの。こういうコンパクト集合をぺたぺた貼り付けて並べていく。ぺたとくっつけると、全体としてコンパクトになることはoodaiko先生のご回答通り。どんどん繋いで延ばしていく。ぺたを一つづつ辿って行く分には、局所しか見てないから、全体の形が歪もうが捻れようが関係ない。しかし例えば小さい円盤を貼り続けてとうとう球面にしちゃったときと、ドーナツ面にしたときと、変にひねってクラインの壺にしたときとでは、その面上での幾何学の性質が違ってきますヨ、というような所から位相幾何の話を始めることができます。
 つまり全体を、ひとつの完成されたへんてこな空間(多様体)として閉じた時のよじれ具合が、ぺただけ見ていたのではなかなか分からない性質を発生させる。謂わば、ぺたを素材にしていろんな空間が作れる訳です。ぺたぺた貼る所が位相幾何学のひとつの特徴じゃないでしょうか。こっちの意味かな?

(3) 比喩ですらない、著者の感覚で選んだ言葉。従って読者から見れば単なる無定義用語であり「ケメソ」と言い換えても同じ事。「コンパクト」の何たるかは文脈から読みとってイメージするしかない。これもありそうな話ですが、「コンパクト」がそう何度も出てこないから困っていらっしゃるんでしょうし... 「XXに関する観点」という代わりに「XXの位相」なんて、よく見かけますもんね。哲学やってる人に分からないもの、文脈から切り離したらなおさら分からないのは当たり前。だとすれば、同じ先生の別の著書を調べるしかないのかな。stomachmanならすっ飛ばして読んでるところですけどねえ。(<いつもイー加減だから!)
    • good
    • 0

哲学の本ですか。


>哲学の文脈で、断層ほどコンパクトなものはないうんぬん、と
というのがどういう意味かさっぱり分からないのですが、これは哲学の本ですか。
よろしければ原文をもうすこし長めに(文脈が分かる程度に)引用するか、
その文が書かれている本の題名を教えていただけないでしょうか。
もう少し詳しく分かれば著者の意図に沿った内容の回答が出来ると思います。
こんな言い方をすると失礼かも知れないけどそういう哲学系の本の中には、
たぶん著者自身きちんとした数学的定義や意味などわかっておらず、単に感覚的な意味で
(または文章を権威付けたり小難しく見せようとして?)数学の言葉を使っている
ものもあります。

とりあえずトポロジーにおける「コンパクト」の解説をしてみましょう。
以下に書くことは「コンパクト集合」についての解説です。
数学的には正確な記述でないので御了承下さい。

コンパクトと言うのは集合の性質に対する概念で、「コンパクトな位相空間」
「コンパクト集合」などと言う風に使います。
「コンパクトな集合」いう概念を感覚的な言葉で言えば

大きさが有限であり、かつ’中身’だけでなく’皮’をもっている集合

と言う感じでしょうか。
数学の言葉で言えば
「位相空間における有界閉集合」
です。

注:実はこれでも数学的に正確な定義ではありません
コンパクト集合=有界閉集合
と言う等式は一般の位相空間では成立しません。
しかし、実用的に使われる多くの位相空間では上の等式が成り立つので実質的には
コンパクト集合=有界閉集合
としておいても構いません。またコンパクトと言う言葉を感覚的に使う人も
そういうイメージでとらえているのだと思います。

「有界集合」とはその集合の中の2つの点の距離の最大値が有限になるような集合です。
また「閉集合」とはその集合の境界と内部を両方とも持っている集合です。
内部だけ持っている集合は「開集合」といいます。
で「有界閉集合」とは「有界集合」であり、かつ「閉集合」であるような集合のことです。

本質は何次元でも同じですので、分かりやすくするため2次元の空間で考えます。
2次元の空間になにか閉じた曲線(閉曲線)を描きます。例えば適当な円か多角形を
書いたと考えて下さい。このときこの書かれた閉曲線の内側の部分と閉曲線自身を
合わせた集合は「有界閉集合」すなわち「コンパクト集合」です。
このような集合は1つである必要はありません。たとえば2つの重ならない閉曲線を
書いて、それらのつくる2つの閉集合を1つの集合とみなした場合でも
その集合はコンパクトであると言えます。一般にはコンパクトな集合を有限個集めて
ひとまとめにした集合もやはりコンパクト集合です。
(ただし無限個集めるとコンパクトにならない場合があります。)

逆に開集合はコンパクトではありません。どんなに小さい円でもその境界部分を
取り除いた中身だけの集合は開集合になるのでこれはコンパクトとは言いません。

実用的にはコンパクト集合の何がありがたいのかと言うと
(1)コンパクト集合から実数への連続関数はかならず最大値と最小値を持つ。
(2)コンパクト集合上の点列はその集合上のある点に収束する部分列を持つ。
という性質でしょう。

で、まとめとしてコンパクト性の本質を感覚的に言えば
「それ自身で閉じた世界を作ることが出来る」
「本質的な有限性をもつ」
という2つのことが挙げられます。

なにやらとりとめのない文章になってしまいましたが、
数学的にきちんとした定義や意味づけなどを理解したい
ということであれば補足要求をして下さい。
    • good
    • 0

siegmund です.



stomachman さんの回答見て気づきましたが,
質問はトポロジーでもおかしくないですね.
広義のトポロジーだと思えばいいですか(もうボロが出始めています)
普通は単にトポロジーと言うと,狭い意味で「位相幾何学」を指しますけどね.

minorinko さんは哲学の学生さんですか.
いやあ,哲学も集合論まで出てくるとなると大変ですね.
でも,哲学者で数学者という人はかなりいましたか.
すぐ思いつくだけでも,ピタゴラス,プラトン,アリストテレス,
パスカル,デカルト,ライプニッツ,ニュートン,フレーゲ,
ホワイトヘッド,ラッセル,ブローエル,など.
あ,こういうことはそれこそ minorinko さんの方が詳しいですね.
ボロが出ないうちにやめましょう.

普通の3次元空間では,空間の点がその要素になっていて,
点の間の距離が √{(x1-x2)^2 + (y1-y2)^2 + (z1-z2)^2} で表されます.
1次元空間なら,|x1-x2| が距離ですね.
で,2つの点の間の距離が近いとか,2の点が近づく,などといいますね.
また,点が連続的に分布している,点Aを点Bに近づけた極限,などともいいます.
これを一般の集合に拡張して,集合の構成要素間に「距離みたいなもの」を
与えた構造を「位相」と言っています.

コンパクトは連続性の拡張みたいな概念です.
例えば, Bolzano‐Weierstrass の集積点定理は
「閉区間Sの任意の無限部分集合は少なくとも一つの集積点をSの中に持つ」で
こういう性質をコンパクト性といっています.
他にもコンパクト性の表現の仕方はあります.

普通の1次元空間(数直線)で説明しましょう.
例えば [0,1] の閉区間をSとします.
(両端の0と1を含んでいることに注意).
1/n 全体(n = 1,2,3,...)の集合AはSの部分集合で要素は無限個あります.
すなわち,AはSの無限部分集合です.
で,0(ゼロ)はAの集積点になっています.
集積点とは,粗くいえばAの要素が0の近くにぎゅうぎゅう詰まっていること.
もう少し正確に言えば,0の任意近傍にAの要素が存在する,ということ.
で,0はAの集積点になっているか? そりゃなっていますよ.
いくら0に近い点x(正の側)をとっておいても,
nを十分大きくすれば0とxの間に 1/n が入ります.
閉集合にして端の0を入れておかないと,集積点がSに含まれなくなります.

つまり,数直線,平面,3次元空間,などのユークリッド距離空間では,
有界閉集合であることと,コンパクトであることとは同値です.

上の例を,一般の集合と「距離の一般化」に拡張した概念がコンパクト性です.

私のコンパクト性に対する理解は以上のようなものです.
私は物理屋で数学者じゃありませんので,
上の説明にはもしかしたら誤りがあるかも知れません.
数学専門の方,適切なフォローいただければ幸いです.
    • good
    • 0

レポートかな?


 Topologyって、普通は「位相幾何学」と訳します。もちろん、位相空間などの代数構造を云々するのも広義のtopologyで、siegmund先生が仰ってるのはこの線ですね。ひっくるめておおざっぱに、連続写像の性質を研究するもんだ、という言い方はどうでしょうか。だからコンパクト性とは不可分。
 良くは知りませんが、組み合わせ論的なトポロジーって、大昔は対象を多面体ぐらいに限っていたんですが、一般のコンパクト空間等に話を広げだした。つまりコンパクトな距離空間へ収束する多面体列、みたいな概念からコホモロジーへ持っていったようです。コンパクト空間に対するホモロジー。で、微分位相幾何学、たとえばThomのカタストロフィーなんかもここだと思うんですが、これは微分可能連続写像の話ですね。
 コンパクト性の概念て、その親戚まで含めるとホントにいろいろあるので、精密な話は個別の問題で議論しなくちゃいけないと思います。
    • good
    • 0

トポロジー?


もしかして,topological space (位相空間)におけるコンパクト性,のつもり?
私は物理屋なので,ハズシていたら失礼.

数学科の学生さん?
それなら,こういう話は私よりできるはずですが...

一番のもとは,Heine-Borel の被覆定理でしょう.
あとは,Bolzano‐Weierstrass の集積点定理とか,
S の任意の点列から Sの点に収束する部分列をとり出すことができるとか,
空でない閉集合列 An が順次前のものに含まれるときの共通部分の話とか,
そういうところだと思いますが.

位相空間関係の本を見てくださいよ.
    • good
    • 0
この回答へのお礼

ありがとうございます。
あまりにもわかっていないせいで質問自体、
なんだか的外れみたいで申し訳ないです。
数学科じゃなくて哲学系なんですが、
哲学の文脈で、断層ほどコンパクトなものはないうんぬん、と
トポロジーの話が出てきて困ってしまいました。
しかもそこらへんがわからないと話全体がわからないので…。
トポロジーの入門書なども読んでみたのですが
計算としては、かろうじてついていけても
その意味がわかりません。
抽象的にはというか、概念的にはというか、
コンパクトというのはどういうものなのか、
もしよろしければ、教えていただけるとすごくうれしいです。

お礼日時:2001/02/17 20:30

このQ&Aに関連する人気のQ&A

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aを見た人が検索しているワード

このQ&Aと関連する良く見られている質問

QBlenderとPythonについて

Blenderを勉強中の者です。
BlenderはPythonが必要だと知ってBlenderとPythonをインストールしました。

それぞれのバージョンは、
-Blender ver 2.69
-Python ver 3.3.0
です。

ですが、BlenderがPythonを"認識しているか"又は"認識させる"方法がわかりません。
ver2.6以降のBlenderはPythonが同梱されているという記事も見たことありPythonを
個別にインストールしなくてもいいのか???など
実際、詳しいことが一切わかりませんでした。

今からBlenderを始めるにあたって何をインストールしてどんな初期設定をすればいいか
教えて下さい。

質問がとっちらかってすみません。出来るだけまとめたつもりです。
よろしくお願いします。

Aベストアンサー

Pythonが同梱されているのでインストールしなくても使えます

http://tips.hecomi.com/entry/20120818/1345307205

Blenderは初期の状態でも使えます。なれてきたら、自分のやりたいことに必要なものをインストールやカスタマイズすればいいと思います

Q大学数学 トポロジーの様々な問題がわかりません

たくさん質問させていただきますが、一つでもわかったら回等していただけると幸いです。

(1)f:R^2 → R^1, f(x,y) = x^2 は連続写像であることを示す。
 εーδを使うのはわかるのですが書き方がわかりません。

(2)R^1と(3,10)は同相である。

(3)A = {(x,y,z) y^2 + z^2 = 2}は位相多様体

わかる方いたらアドバイスお願いします。

Aベストアンサー

こんにちは。
(1) g:R^2 →R^1をg(x,y)=xとすれば、gの連続性はやさしいです。また
 h:R^1→R^1を
h(x)=x^2 とすれば、f=h*g です。*は写像の合成を表します。
そこでポイントはh(x)=x^2の連続性です。
「微積」の教科書等にのっているので考えること。
因みに、g(x,y)=xがR^2の点(a,b)で連続なことは次のようにできます。
任意のε>0に対しδ>0をδ=εととれば、|x-a|≦√{(x-a)^2+(y-b)^2}なので
0<√{(x-a)^2+(y-b)^2}<δ とすれば、0<|x-a|<δ
となる。このとき|g(x,y)-g(a,b)|=|x-a|<δとなる。
δ=εだから、0<√{(x-a)^2+(y-b)^2}<δならば、|g(x,y)-g(a,b)|<ε
(なぜなら、δ=εとしたから)
これを参考にやってください。
◎ h(x)=x^2の連続性が調べてもわからなかったら
この回答に補足をつけてください。
(2) まず、
(-π/2,π/2) →R^1の同相は y=tanxで与えられる。
そこでh:(3,10)→(-π/2,π/2) の全単射が直線 y=ax+b
で、できるようにすればよい。x=3のとき、y=-π/2,
x=10のとき、y=-π/2となるようにa,bを決めよう。
決まったこの関数をh(x)とする。
よって、f=h*g:(3,10)→R^1を考えて、
f(x)=tan(h(x))を考えればよい。これはhomeomorphicになる。

(3) A={(x,y,z)|y^2+z^2=2}は、2次元(実)位相多様体になる。
それはAの定義でxは自由、よってxはR^1 全体を動く。
S={(y,z)|y^2+z^2=2}は yz平面では原点中心、半径√2の円
よって図形Aはx軸を真ん中に含む無限に伸びた円筒形の表面である。
アンテナの同軸ケーブルみたいな感じ。
ゆえにAは次の直積集合と同相であるというか同じ。
A=R×S 
故に円Sが1次元多様体であるのと同様に証明をすればよい。
R^2の開集合としては、B=R^1×(-√2,√2)を常にとればよい。
そこで、
Aの開近傍として、
U(+)={(x,y,z) |xはRに含まれ、y^2+z^2=2,y>0}
U(-)={(x,y,z) |xはRに含まれ、y^2+z^2=2,y<0}
V(+)={(x,y,z) |xはRに含まれ、y^2+z^2=2,z>0}
V(-)={(x,y,z) |xはRに含まれ、y^2+z^2=2,z<0}
の4つを考えると、U(+),U(-),V(+),V(-)はAの開集合であって、
Aはこの4つで覆われる。
そして、それぞれのところでの同相写像を
(ア)φ(+):U(+) → B=R^1×(-√2,√2) はφ(+)(x,y,z)=(x,z)
  [ U(+)での局所座標が(x,z)である。]
(イ)φ(-):U(-) → B=R^1×(-√2,√2) はφ(-)(x,y,z)=(x,z)
(ウ) ψ(+):V(+) → B=R^1×(-√2,√2) はψ(+))(x,y,z)=(x,y)
(エ)ψ(-):V(-) → B=R^1×(-√2,√2) はψ(-))(x,y,z)=(x,y)
   [注: V(-)での局所座標が(x,y)である。 ]

これらの写像、φ(+),φ(-)、ψ(+),ψ(-)は確かに同相写像である。
よって、Aの座標近傍系として、
{(U(+),φ(+)),,(U(-),φ(-)),(V(+),ψ(+)),(V(-),ψ(-))}がとれて、
Aは2次元の(実)位相多様体になる。
注:実は解析多様体になる。たとえば、U(+)かつV(-)で

ψ(-)*φ(+)^(-1):φ(+)(U(+)かつV(-)) →ψ(-)(U(+)かつV(-)) は
ψ(-)*φ(+)^(-1)(x,z)=(x,-√(2-z^2)) の形になる。
(「かつ」の集合の記号がすぐでなかったので )

こんにちは。
(1) g:R^2 →R^1をg(x,y)=xとすれば、gの連続性はやさしいです。また
 h:R^1→R^1を
h(x)=x^2 とすれば、f=h*g です。*は写像の合成を表します。
そこでポイントはh(x)=x^2の連続性です。
「微積」の教科書等にのっているので考えること。
因みに、g(x,y)=xがR^2の点(a,b)で連続なことは次のようにできます。
任意のε>0に対しδ>0をδ=εととれば、|x-a|≦√{(x-a)^2+(y-b)^2}なので
0<√{(x-a)^2+(y-b)^2}<δ とすれば、0<|x-a|<δ
となる。このとき|g(x,y)-g(a,b)|=|x-a|<δとなる。
δ=εだから...続きを読む

Qblenderかmetasequoiaか

3DのCGを作って、最終的にOpenGLで動かしたいと思っています。
今までOpenGLで頂点指定して3次元物体を
描画していたのですが、
blenderかmetasequoiaでモデリングして
それをOpenGLで読み込んで動かすことができると聞きました。

そこで、blenderかmetasequoiaを使おうと
思っており、どちらを使うか迷っております。
windowsとlinuxのデュアルブートになってるんですが、
基本的にlinuxで作業することが多いので
linuxでも動くblenderが良いかなと思っているのですが、
blenderは使いにくい、という話も聞きました。
たしかにblenderはパッと見、情報も少なそうで
インタフェースも分かりにくそう・・・と思いました。

みなさんはどちらを使っていますか??
どちらがオススメですか??

Aベストアンサー

私は、blenderをwindowsとubuntuで使ってます。

blenderは、確かに、使いにくいとか挫折したって話はよく聞きます。
でも、最初は、基本的な操作とよく使うウィンドウのパネルの設定を覚えるといいと思います。

http://f11.aaa.livedoor.jp/~hige/index.php?%5B%5B%CC%DC%BC%A1%5D%5D
Blender Documentation 日本語版

http://wbs.nsf.tc/tutorial/tutorial_blender.html
WBS+ Blender チュートリアル


http://bmania.blog70.fc2.com/
Blenderで3DCG制作日記

Pythonが使えるのでスクリプトで描画することもできます。
(情報は少なく苦労しました)

http://www.geocities.co.jp/SiliconValley-Cupertino/2019/blender/PythonDocJpn/index.html
The Blender Python API Reference 日本語版

http://d.hatena.ne.jp/gomi-box/20080519/1211159996
OpenGLで遊ぼう


http://video.google.com/videosearch?hl=en&source=hp&q=blender%20tutorial&um=1&ie=UTF-8&sa=N&tab=wv#q=blender+tutorial&hl=en&view=2&emb=0
bleder tutorial

このほかにも、パーティクルや液体のシュミレーションや物理のシュミレーション、ノードエディタで動画のエフェクト(クロマキーやブラーなど)できたりしますのいいですよ!

私は、blenderをwindowsとubuntuで使ってます。

blenderは、確かに、使いにくいとか挫折したって話はよく聞きます。
でも、最初は、基本的な操作とよく使うウィンドウのパネルの設定を覚えるといいと思います。

http://f11.aaa.livedoor.jp/~hige/index.php?%5B%5B%CC%DC%BC%A1%5D%5D
Blender Documentation 日本語版

http://wbs.nsf.tc/tutorial/tutorial_blender.html
WBS+ Blender チュートリアル


http://bmania.blog70.fc2.com/
Blenderで3DCG制作日記

Pythonが使えるのでスクリプトで描...続きを読む

Q大学の解析学がわからなくて困ってます、どなたかわかる方解答お願いしますm(__)m cosz=(e

大学の解析学がわからなくて困ってます、どなたかわかる方解答お願いしますm(__)m

cosz=(e^iz+e^-iz)/2とする。
(1)xを実数としたときcosxが取りうる値の範囲を求めよ。

(2)yを実数としたときcosiyが取りうる値の範囲を求めよ。

Aベストアンサー

証明の 1例を方針だけ:

(1), (2) 共通の事項としてまず任意の複素数 x に対し e^x e^(-x) = 1 であることを示す.

(1)
1. x が実数のとき e^(ix) と e^(-ix) が共役な複素数であることを示す.
2. e^(ix) の絶対値を求める.
3. cos x が実数であることを確認する.
4. cos x = α として e^(ix) を α で表す.
5. 2 と 4 から α の取り得る値を示す.

(2)
1. 任意の正の実数 x に対して e^x が正の実数であることを示す.
2. cos iy = (e^(-y) + e^y)/2 が e^y と e^(-y) の相加平均であることに気づく.
3. 「相加平均」といえば有名な不等式があるよね.

QBlender ゲームエンジンについて

Blenderに付属の機能、ゲームエンジンがありますが、
幾つか質問があります。
・Blenderのゲームエンジンですが、実際にイベントなどを起こしてゲームをつくれるのでしょうか?
・仮にBlenderでゲームをつくったとしても、どう出力するのでしょうか?

質問が粗いですが、分かる方ご回答お願いしますm(_ _)m

Aベストアンサー

>Blenderのゲームエンジンですが、実際にイベントなどを起こしてゲームをつくれるのでしょうか?

ロジックエディターで

Add Sensor のところで追加して、キー入力とかマウスとか当たり判定などを選択して

Add Controllerのところで追加して、でそれらをorとかandとか論理演算して

Add Actuatorのところで追加して、処理をします。

完成したら
実行形式(exe)にするために

Blender User Preferences(ファイルからユーザー設定)のAddons(アドオン)のGame Engineの
Game Engine: Save As Game Engine Runtimeのところをチェックしてアドオンを使えるようにしてから

FileからExportでSave As Game Engine Runtimeをクリックするとsave画面になるので
ファイルネーム ( ディフォルトではgame.exe になっている)をいれて
Save As Game Engine Runtimeのボタンを押せば必要なランタイムなどセーブしてくれます
ただ、そこに使われているファイルなどは同じ場所に入れておかないとだめだと思います

>Blenderのゲームエンジンですが、実際にイベントなどを起こしてゲームをつくれるのでしょうか?

ロジックエディターで

Add Sensor のところで追加して、キー入力とかマウスとか当たり判定などを選択して

Add Controllerのところで追加して、でそれらをorとかandとか論理演算して

Add Actuatorのところで追加して、処理をします。

完成したら
実行形式(exe)にするために

Blender User Preferences(ファイルからユーザー設定)のAddons(アドオン)のGame Engineの
Game Engine: Save As Game Engine Runtimeの...続きを読む

Qトポロジーの問題です。

R^nの任意の凸部分集合は可縮であることを示したいのですが、凸であることをうまく利用して解けません。

どなたか教えていただけないでしょうか?よろしくお願いします。

Aベストアンサー

任意の凸部分集合をXとし、f0をXからXへの恒等写像とします。またXの一つの定点をx1とし、f1はXの全ての要素をx1に対応させるxをXの任意の点とし、
 x(t) = (1-t)x + t x0
とすれば、Xは凸なのでt∈[0,1]でx(t)はXに含まれます。
 F(x,t) = x(t)
とすればFはf0とf1のホモトピーをあたえ、R^nが可縮であることが解ります。

Qwindows7で.blenderというフォルダが作れない

最近、windows7でBlenderをはじめましたが、インポートやエクスポートをするためのスクリプト(.py)を入れるために「.blender」のフォルダを作ろうと思っています。ですが、フォルダ名を「.blender」入力して確定すると、「フォルダ名を入力してください」と言われてフォルダが作れません。この「.blender」フォルダははじめからありませんでした。いったいどうすればよろしいのでしょうか?おねがいします。

Aベストアンサー

ファイル名、フォルダ名の先頭に「ドット」を使うことは、そもそもできません。
「ドット」以降の文字列が拡張子と見なされ、本来(拡張子の前の部分)のファイル名、フォルダ名が無いものと見なされるからです。

Qあるトポロジー用語(英語)の日本語訳

とある解説文(英語)で、有名な”位置解析”という論文で
ポアンカレさんが提示したさまざまな新しい概念のひとつに
a virtual menagerie of exotic abstract objects
というのがあると書いてありました。これを日本語では何と呼んでいるのか
または何のことに相当するのか、ご教示いただけると
たいへん助かります。よろしくお願いします。

Aベストアンサー

直訳では

変わった理論上の物を、仮に表現するための集合

ですか?意訳では

変な理論を表現するために仮に考えた(置き換えた)集合体

みたいなもんですか
ポアンカレマップの概念ですね

QフリーCG3Dソフト Blender のダウンロード方法

フリーの3Dソフトを探していたら、Blenderというのがありました。そのサイトへ行ったら日本語じゃなかったのでわかりませんでした。ダウンロードのやり方を教えてください。Blenderも英語?で表示されるのでしょうか?このソフトについて知っていられる方教えてください。ちなみにPCのOSはXPです。

Aベストアンサー

こちらのサイトに行けばBlenderの日本語版が入手できます。
(『FutureGadget』)
 中程の
→ダウンロードするにはここをクリック (Windows版のみ)
 という所です。

参考URL:http://uniside.s37.xrea.com/blog/jptable.php?catid=17&blogid=7

Q数学の問題がわからなくて困ってます

問題は
『関数f(x)=-x^2+4x+a-5、
g(x)=x^2+4x+3とおく。
x1、x2が-3≦x1≦3、-3≦x2≦3を満たせば、常にf(x1)>g(x2)となるのは、a>(ア)のときであり、-3≦x1≦3、-3≦x2≦3を満たすx1、x2でf(x1)>g(x2)となるものがあるのは、a>(イ)のときである。』
です
ちなみに答えは
(ア)…50、(イ)…0
になるそうです

解き方を教えてください!

Aベストアンサー

別解を示しておくが、2変数問題と考えると良い。

(ア) 

条件から、a>(α-2)^2+(β+2)^2 ‥‥(1) となる。
これが、|α|≦3、|β|≦3 で常に成立すると良い。
従って、(α-2)^2+(β+2)^2 の最大値がaより小さければよい。
|α|≦3、|β|≦3 から -5≦α-2≦1、-1≦β+2≦5 であるから、1≦(α-2)^2≦25、1≦(β+2)^2≦25 。
従って、(α-2)^2+(β+2)^2≦50 よつて、a>50

(イ)

|α|≦3、|β|≦3 の範囲で、(α-2)^2+(β+2)^2を満たすα、βが存在すれば良いのだから、(α-2)^2+(β+2)^2≧0でさえあれば、|α|≦3、|β|≦3 の範囲のα、βを求める事が出来る。
つまり、a>0.


(ア)と(イ)の異なる点は理解しておかねばならない。
(ア)は|α|≦3、|β|≦3 の範囲のものに対して、常に成立しなければならない条件を求める問題。
(イ)は |α|≦3、|β|≦3 の範囲で、(α-2)^2+(β+2)^2が常に成立しなくても、(α-2)^2+(β+2)^2を満たすα、βが一つでも存在さえすれば良い条件を求める問題。

別解を示しておくが、2変数問題と考えると良い。

(ア) 

条件から、a>(α-2)^2+(β+2)^2 ‥‥(1) となる。
これが、|α|≦3、|β|≦3 で常に成立すると良い。
従って、(α-2)^2+(β+2)^2 の最大値がaより小さければよい。
|α|≦3、|β|≦3 から -5≦α-2≦1、-1≦β+2≦5 であるから、1≦(α-2)^2≦25、1≦(β+2)^2≦25 。
従って、(α-2)^2+(β+2)^2≦50 よつて、a>50

(イ)

|α|≦3、|β|≦3 の範囲で、(α-2)^2+(β+2)^2を満たすα、βが存在すれば良いのだから、...続きを読む


人気Q&Aランキング