[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/12 01:04 / Filesize : 232 KB / Number-of Response : 1033
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

代数学・幾何学・解析学スレッド



1 名前:132人目の素数さん mailto:sage [2010/09/09(木) 23:01:34 .net]
板が飛んだから
代数学と幾何学と解析学の話題をここでしよう

910 名前:132人目の素数さん mailto:sage [2014/01/28(火) 13:19:37.36 .net]
>>882
・xがφの上界である、ということを∀∃を使って書いてみる

  「(∀a∈φa≦x)⇒(xはφの上界という性質をもつ)」

これにより「R∪{+∞,-∞}がφの上界の集合である」は

・ 「∀x∈R∪{+∞,-∞}[(∀a∈φa≦x)⇒(xはφの上界という性質をもつ)]」

で表されることが分かる
ところがR∪{+∞,-∞}のどのようなxについても(∀a∈φa≦x)を真たらしめるxは存在しない.
したがってこの命題全文はxによらず(モデルのとり方によらず)常に真である.
「R∪{+∞,-∞}がφの上界の集合である」は真である.

ということでしょうか?



”   ⇔
  「∀x∈R∪{+∞,-∞}[(xはφの上界という性質をもたない)⇒not(∀a∈φa≦x)]」

がモデルのとり方によらず本当に同値になってるのかどうか考えようと思ったところで時間オーバー
ちょっとバイトにっていってきます

∀a∈φa≦xが真にも偽にもならない(否定をとっても真にならない?)のが扱い困る

911 名前:132人目の素数さん mailto:sage [2014/01/28(火) 13:51:31.90 .net]
反変ベクトルとはなんですか?

共変ベクトルとはなにが違うんですか?

912 名前:132人目の素数さん mailto:sage [2014/01/28(火) 13:52:39.61 .net]
早く教えてください

913 名前:132人目の素数さん mailto:sage [2014/01/28(火) 18:59:31.34 .net]
>>883
> 「補完数直線 R∪{+∞,-∞} に対し、φの上界の集合が R∪{+∞,-∞}である」
> は、⊂に基づく順序構造をとったとき、
> 全体集合の上界は全体集合自身であること、
> そして、全体集合の下界はφであること、からくるものではないしょうか?

よく考えたら、これは違いましたね.

集合Aの上界の集合をup(A)で表すと
⊂に基づく順序構造をとったφの上界の集合up(φ)は
up(φ)={R∪{+∞,-∞}}
ですから. クラスが違ってしまいます.

杉浦TのP362が出所なんですが
「up(φ) = up({-∞}) = R∪{+∞,-∞}」
とあるのでクラスが違うと等号が成り立たないのです.

914 名前:132人目の素数さん mailto:sage [2014/01/28(火) 19:10:46.73 .net]
∀x∃y[P(x,y)⇒Q(y)]
の対偶は
∀x∃y[¬Q(y)⇒¬P(x,y)]
でいいかな?

∀x∃y[P(x,y)⇒Q(y)]
が真である、とは
∀x∃yの束縛のしかたによる変数x,yのどのような組み合わせにおいても
(すなわちモデルのとり方によらずに)
P(x,y)⇒Q(y)が常に真であることであった.

そしてこのとき
∀x∃y[¬Q(y)⇒¬P(x,y)]
もまたモデルのとり方によらず真となる
…ですよね?
(違うか?)

だから
>>884の下の方の
>”   ⇔
>  「∀x∈R∪{+∞,-∞}[(xはφの上界という性質をもたない)⇒not(∀a∈φa≦x)]」
>”
も、そのままいけるのか?

915 名前:132人目の素数さん mailto:sage [2014/01/28(火) 19:14:34.67 .net]
でも全然分かった気がしない.です help

916 名前:132人目の素数さん mailto:sage [2014/01/28(火) 19:19:36.61 .net]
記号’⇒’は論理記号でなく日本語のカテゴリだから
精密を期すれば
>∀x∃y[P(x,y)⇒Q(y)]
でなくて
∀x∃y[P(x,y)→Q(y)]

>∀x∃y[¬Q(y)⇒¬P(x,y)]
でなくて
∀x∃y[¬Q(y)→¬P(x,y)]
か…?

917 名前:132人目の素数さん mailto:sage [2014/01/28(火) 19:33:37.94 .net]
・xがφの上界である、ということを∀∃を使って書いてみる

  (xはφの上界という性質をもつ) :⇔ (∀a∈φa≦x)

これにより

  (R∪{+∞,-∞}がφの上界の集合である) :⇔ ∀x∈R∪{+∞,-∞}(∀a∈φa≦x)

ところがR∪{+∞,-∞}のどのようなxについても(∀a∈φa≦x)を真たらしめるxは存在しない.
したがって
∀x∈R∪{+∞,-∞}(∀a∈φa≦x)
はxによらず(モデルのとり方によらず)常に偽である.
以上より「R∪{+∞,-∞}がφの上界の集合である」は偽である.

あーあ
あーーーあ(涙)

918 名前:132人目の素数さん mailto:sage [2014/01/28(火) 21:18:10.74 .net]
>>880
⇒と→のどっちを含意を表す記号として採用するかなんてどうでも良い
最初にどう決めるかによる
論理学の伝統的な本では⊃と表



919 名前:Lしてたりする []
[ここ壊れてます]

920 名前:132人目の素数さん mailto:sage [2014/01/28(火) 21:23:19.00 .net]
こんばんわ
そうなんですけどメタ記号の⇒も同時に表われてるので改めました

921 名前:132人目の素数さん mailto:sage [2014/01/28(火) 21:24:44.63 .net]
述語の対偶律の記述って、あれであってますか?

922 名前:132人目の素数さん mailto:sage [2014/01/28(火) 21:25:08.24 .net]
というか微分積分の勉強のときに使う「ならば」に
メタとかオブジェクトとかそういうきちんとした区別は無いよ

923 名前:132人目の素数さん mailto:sage [2014/01/28(火) 23:51:20.50 .net]
>>892
とりあえず頭は悪いな

924 名前:132人目の素数さん [2014/04/16(水) 11:27:05.92 .net]
>> 211
松坂「解析入門2」(岩波)のp.85にあるよ。

925 名前:あぼーん mailto:あぼーん [あぼーん]
あぼーん

926 名前:132人目の素数さん mailto:sage [2014/04/16(水) 22:00:06.71 .net]
ユークリッド幾何学と代数学を学べる書籍でおすすめありますか?

927 名前:132人目の素数さん mailto:sage [2014/04/16(水) 22:05:21.31 .net]
レベルが違うんでないかい

928 名前:132人目の素数さん mailto:sage [2014/04/26(土) 13:16:54.42 .net]
>ユークリッド幾何学と代数学を学べる書籍
多面体の幾何学みたいなものを考えているのか?



929 名前:132人目の素数さん mailto:sage [2014/05/04(日) 23:01:18.02 .net]
ナラニエンガーの定理の英語の綴りを教えて下さい

930 名前:132人目の素数さん mailto:sage [2014/05/05(月) 08:51:02.79 .net]
楢煮縁我

931 名前:132人目の素数さん mailto:sage [2014/05/09(金) 18:46:52.84 .net]
>>901
多様体ですね

932 名前:132人目の素数さん [2014/05/20(火) 16:51:37.94 .net]
保守

933 名前:132人目の素数さん [2014/07/04(金) 21:14:08.95 .net]
代数

934 名前:132人目の素数さん [2014/07/12(土) 22:34:27.18 .net]
Naraniengerじゃダメなん?

935 名前:132人目の素数さん [2014/09/01(月) 06:59:59.15 .net]
f(x)=0 n角形
f'(x)=0 n-1角形

936 名前:132人目の素数さん mailto:sage [2014/09/10(水) 14:57:08.51 .net]
「幾何解析学」ってどこに入るんだ?
ttp://jasmine.media.osaka-cu.ac.jp/ndc_navi/?class=413

937 名前:132人目の素数さん mailto:sage [2014/09/11(木) 22:48:21.75 .net]
微分幾何じゃない?

938 名前:132人目の素数さん mailto:sage [2014/09/16(火) 09:27:28.12 .net]
>>910
 ありがとう。それで行くよ。



939 名前:○○○○ [2014/09/17(水) 23:07:07.45 .net]
松坂和夫『代数系入門』っていい本なの?絶賛する人もいるけど解説が不親切だという人もいる。

940 名前:132人目の素数さん [2014/09/18(木) 10:53:56.74 .net]
いい本だよ、ただし行間があるし問題もすぐに解けない
雪見読んだら

941 名前:132人目の素数さん [2014/09/18(木) 10:54:26.77 .net]
大福?

942 名前:132人目の素数さん [2014/09/18(木) 12:53:16.24 .net]
面白かったか、雪江だ

943 名前:132人目の素数さん [2014/09/18(木) 12:54:29.44 .net]
まさかとは思うが、面白いと思って書いたのか?

944 名前:132人目の素数さん mailto:sage [2014/09/18(木) 16:33:51.49 .net]
>>914=917だとしたら、コイツは意味わからんな
ギャグかましたのは>>914の方なのに

945 名前:132人目の素数さん [2014/09/18(木) 16:44:54.93 .net]
運営乙

946 名前:132人目の素数さん mailto:sage [2014/09/18(木) 17:47:29.71 .net]
こまけーとはいんだよ

947 名前:132人目の素数さん mailto:sage [2014/11/25(火) 08:36:08.51 .net]
>>915
すげぇ面白かったよ。

948 名前:132人目の素数さん mailto:sage [2015/03/30(月) 17:45:57.17 ID:6+VwaBQJ.net]
手間かけさすなよ



949 名前:132人目の素数さん [2015/05/19(火) 21:28:55.20 ID:D4zzawHp.net]
雪江に誤答の例がのってたw

950 名前:132人目の素数さん mailto:sage [2015/05/26(火) 18:41:11.62 ID:VrCAGtMt.net]
雪江 代数学U 講義ビデオ ガロア理論(著書の代数学2相当)
https://www.youtube.com/watch?v=pZMusy4HJjI&feature=youtu.be
ocw.kyoto-u.ac.jp/ja/06-faculty-of-science-jp/10

951 名前:132人目の素数さん mailto:sage [2015/06/24(水) 01:21:40.71 ID:cBfmyh1M.net]
>>923
京大様の授業無料で見れるなんて良い時代だなぁ
受験もそうだけどもう予備校って落ちこぼれ専用だよね

952 名前:P? [2015/07/18(土) 16:27:16.79 ID:4xs6XVB0D]
>>923
SGE

953 名前:EEEEEEEEEEwwwwww []
[ここ壊れてます]

954 名前:132人目の素数さん [2015/07/21(火) 14:55:19.17 ID:L/j+qntv.net]
t=0の時に二次元平面上の長さ1の正n角形の頂点A1〜An上に動点x[1]〜x[n]があるとして
x[k]は常にx[k+1]のある方向へ(x[n]はx[1]へ)それぞれ速度1で動くとします
時刻tの時にx[1]〜x[n]の凸包で出来る図形をX[t]とすると
x[1]〜x[n]が1点に集まるまでX[t]はX[0]と相似である正n角形になります

三次元空間上に動点x[1],...,x[n]があって上と同じようにx[k]がx[k+1]に向かって動くとします
この時に上と同じ様にX[t]を定義したとしてx[1]〜x[n]が一点に集まるまで
X[t]がX[0]と相似な図形になるためにはx[1]〜x[n]が正n角形上に配置されている必要があるのでしょうか

955 名前:132人目の素数さん mailto:sage [2015/07/21(火) 15:36:52.91 ID:pBi48pEm.net]
>>924
上位の受験競争のための予備校はとっくにオワコン、せいぜいニッチ商売
落ちこぼれ対策塾はゆとり教育のおかげで市場を伸した

「ゆとり」って、安上がりの教育産業振興が目的だったかもね
東大京大医学部向け予備校だと新規参入が難しい

956 名前:132人目の素数さん mailto:sage [2015/07/21(火) 16:43:13.80 ID:JQAQKhUx.net]
受験産業の話をする馬鹿

957 名前:佐藤光@新潟市江南区西町2-2-12 [2015/07/22(水) 12:32:38.46 ID:Sta1ERao.net]
Illiteracibility

958 名前:佐藤光@新潟市江南区西町2-2-12 [2015/07/24(金) 17:10:01.27 ID:NwGPVVgG.net]
幅は列の要素では無い



959 名前:132人目の素数さん mailto:sage [2015/07/24(金) 17:25:05.68 ID:H2Iwd9gh.net]
厨房が反応www

960 名前:132人目の素数さん mailto:sage [2015/07/27(月) 12:56:45.92 ID:kx8GLlGh.net]
何が面白いんだ?

961 名前:132人目の素数さん [2015/10/30(金) 20:06:37.73 ID:DvPtrRcu.net]
天才のお前らでもFXのテクニカル分析を完璧にはできないだろうなw
お前らもFXやってみろ、意外と儲かったぞw
FXやるならxmがおすすめ
ur0.link/oTBq

【xmのメリット】
 ・レバレッジ888倍でできる
レバレッジ888倍だとドル円1枚1500円ぐらいで売買できる
1枚売買すると1円の変動で1万円の損益になる
 ・1000通貨単位から売買できる
1000通貨単位=0.1枚=変動幅1円で1000円の損益になる
 ・ゼロカット保証
株や為替には追証と言うルールがあり、突然の急激な変動時に口座残高がマイナスになってしまうことがある。
口座残高がマイナスになると追証=借金が発生し、その借金を期日までに支払わなければならなくなる。
しかし、xmではその追証ルールをなくし、万が一、口座残高がマイナスになっても借金をチャラにしてくれる。
 ・口座開設ボーナス
現在口座開設をすると3000円が取引口座に反映される、その3000円でトレードができる。
もちろん利益は出金できる
 ・入金ボーナス
100%ボーナス、50%ボーナス、20%ボーナスがある。
100%ボーナス期間に5万円入金すると、ボーナス5万円が貰えるので、10万円の取引ができる。
 ・取引ボーナス
取引するたびにボーナスが貰える。
1枚取引すると80円のボーナスが付与される
 ・最低入金金額か500円
500円から入金できるので、暇潰し、遊び、練習でFXができる
 ・口座開設が簡単
5分ぐらいで口座開設ができる

【デメリット】
 ・出金に時間がかかる
出金依頼をしてから着金まで約1週間はかかる

962 名前:132人目の素数さん mailto:sage [2015/10/31(土) 13:43:15. ]
[ここ壊れてます]

963 名前:78 ID:0MZW+csg.net mailto: この宣伝て意味あるの? []
[ここ壊れてます]

964 名前:132人目の素数さん [2016/01/07(木) 11:04:45.39 ID:uQFoPq/U.net]
「テクニカル分析を完璧にはできないだろうな」
この一文でテクニカルの使い方を分かってないと宣言してるも同然
当然意味はない

965 名前:132人目の素数さん mailto:sage [2016/05/04(水) 21:38:35.06 ID:hqKc0GUs.net]
漠然とした質問ですいません
二次元は正多角形
三次元は正多面体
どちらもすべての頂点から等しい距離に中心点が存在しますが
四次元の正多胞体(超立方体など)にもそういった点は存在するのでしょうか?

966 名前:132人目の素数さん [2016/05/13(金) 09:56:51.65 ID:BZ3Sjsa+.net]
数学科の教員を募集してるぞ
上位私大(関関同立と同等)で名古屋大ギリ落ちも結構いるから、学生の質もまあまあ
人気も規模も中部地区随一で、三菱グループやトヨタグループがバックについてて資本もでかい
こんなチャンス、めったにないと思うぞ

名城大学 教員公募について
数理情報分野 教授または准教授(確率論、統計数学、数理ファイナンスなど)
www.meijo-u.ac.jp/about/employ/mathematics1.html
計算機を援用した数学 准教授または助教(分野は問わない)
www.meijo-u.ac.jp/about/employ/mathematics2.html
数理情報分野 助教(確率論、統計数学、数理ファイナンスなど)
www.meijo-u.ac.jp/about/employ/mathematics3.html
代数学分野 准教授または助教
www.meijo-u.ac.jp/about/employ/mathematics4.html

967 名前:◆2VB8wsVUoo mailto:sage [2016/05/13(金) 15:39:16.25 ID:ozV2s34P.net]


>23 名前:132人目の素数さん :2016/05/13(金) 15:33:17.81 ID:KGFIjXxE
> あほ痴漢野郎、仁さんを舐めすぎ!
> 仁さんは本気だしたら春季賞レベルだよ
> おまえなんか片手でひょいだよ
> 早く泣いて逃げた方がいいよ!
>

968 名前:132人目の素数さん mailto:sage [2016/08/06(土) 11:30:07.48 ID:uJicd49dU]
>>936
当然



969 名前:132人目の素数さん [2016/10/20(木) 23:06:44.42 ID:3Lq5XESZ.net]
NHK教育を見て51248倍賢く手作り(c)2ch.net
nhk2.2ch.net/test/read.cgi/liveetv/1476964092/

ベノワ マンデルブロ
フラクタルと凸凹

970 名前:132人目の素数さん mailto:sage [2016/10/20(木) 23:14:52.02 ID:AcIvPzVN.net]
https://www54.atwiki.jp/anti2ch/pages/19.html

971 名前:132人目の素数さん [2016/10/21(金) 20:38:07.10 ID:FAKZkv3r.net]
>>936 どう考えてもあるでしょう

972 名前:◆2VB8wsVUoo mailto:age [2016/10/21(金) 20:40:48.27 ID:bLSYGql/.net]


>673 名前:132人目の素数さん :2016/10/20(木) 08:48:57.82 ID:1+lfflhP
> 阪大ごときで研究者目指したらアカンやろw
>
>674 名前:¥ ◆2VB8wsVUoo :2016/10/20(木) 08:53:56.11 ID:4i85UFaq
> ホウ、なるほどナ。
>
> ¥
>
>675 名前:¥ ◆2VB8wsVUoo :2016/10/20(木) 09:21:36.53 ID:4i85UFaq
> そやし東大と京大以外の大学院は全部閉鎖せんとアカンわ。無駄やさかいナ。
>
> ¥
>
>676 名前:¥ ◆2VB8wsVUoo :2016/10/20(木) 09:28:07.86 ID:4i85UFaq
> ほんで宮廷以外の数学科かて全部閉鎖せんとアカンわ。馬鹿板人みたいな
> 低能ゾンビばっかし居っても税金の無駄にナルだけで役に立たへんしナ。
>
> ¥
>

973 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:42:43.33 ID:bLSYGql/.net]


974 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:42:59.99 ID:bLSYGql/.net]


975 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:43:16.19 ID:bLSYGql/.net]


976 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:43:31.24 ID:bLSYGql/.net]


977 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:43:47.96 ID:bLSYGql/.net]


978 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:44:03.28 ID:bLSYGql/.net]




979 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:44:18.02 ID:bLSYGql/.net]


980 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:44:34.42 ID:bLSYGql/.net]


981 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:45:02.98 ID:bLSYGql/.net]


982 名前:◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:45:22.80 ID:bLSYGql/.net]


983 名前:132人目の素数さん mailto:sage [2016/10/22(土) 00:05:52.66 ID:LVKrnhTd.net]
荒らしが必死

984 名前:◆2VB8wsVUoo mailto:sage [2016/10/22(土) 03:15:25.07 ID:dMde0TVU.net]


985 名前:月山流星 ◆eRAv36gioo mailto:sage [2016/11/09(水) 09:40:37.40 ID:Y6O6cEBy.net]
ある数の集合からなる数列について、出現する数が「完全にランダム」であるという事は、
それが「超越数」を含めたどんな「関係性より導かれる(現れる)無理数」、
及びそれら無理数を用いて表現されるあらゆる数の並びとも完全には一致しないという事である。
超越数を含む「関係性より導かれる無理数」の各桁の数は、一見してランダムに見えるがそれを求める事が出来るように、
「関係性」より導かれる定義、法則によって決定される。
「完全にランダム」であるという事は、全ての「関係性より導かれる無理数」を決定している既知の物も「未知の物」も含む、
「全ての」関係性より無理数を導く定義、法則から「逸脱している」という事である。
だが、無理数自体の数が無限とは言え、「そんな数」が、本当にこの世界に存在しているのだろうか?

極小の量子の物理量は「不完全性定理」により、確率による偏りこそあれど「完全にランダム」に決定され、
それを決定する「隠れた変数」「隠れた関係性」などは存在していないという。


円周率にしてもネイピア数にしても、その数字の羅列が意味を持つ事を我々が知る事が出来たのは、
「関係性」から導いた定義、法則からその数字の羅列を導いたからであり、
一見ランダムなその数字の羅列のみからではその意味を見出す事など出来はしなかっただろう。
我々が「自由」であると思い込んでいる我々の「意識」「心」もまた、
その実、外的な刺激や内的な情報処理や状態によって決定されている。
本当に「隠れた関係性」は、存在していないのだろうか?

不確定性原理の影響を強く受ける光子はしかし、
「光子の逆説」として知られているような、未来を知っている、或いは未来が決定されているかのような不可思議な現象を起こす事が知られている。

986 名前:132人目の素数さん mailto:sage [2016/11/09(水) 13:10:12.27 ID:LFkbmQDZ.net]
スレ違いだったらすいません。
複素線積分について勉強中なのですが
今ひとつ理解できません。
というのも線積分が何を求めているか
具体的に分からないです...。
高校の教科書みたいにイラストで
誰か説明してくれませんか?

987 名前:132人目の素数さん [2016/12/07(水) 13:29:06.86 ID:yDW6wKWF.net]
以下の問題に対する解答をお願いします。

α ∈ R
β > 0

とする。

∫ x^α / sqrt(1 - x^β) dx from x = 0 to x = 1

がいつ収束するか?

988 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:04.63 ID:1OWUkAqJ.net]




989 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:22.26 ID:1OWUkAqJ.net]


990 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:38.22 ID:1OWUkAqJ.net]


991 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:53.62 ID:1OWUkAqJ.net]


992 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:40:12.30 ID:1OWUkAqJ.net]


993 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:40:30.11 ID:1OWUkAqJ.net]


994 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:40:46.75 ID:1OWUkAqJ.net]


995 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:41:02.15 ID:1OWUkAqJ.net]


996 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:41:18.49 ID:1OWUkAqJ.net]


997 名前:◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:41:37.74 ID:1OWUkAqJ.net]


998 名前:132人目の素数さん mailto:sage [2016/12/08(木) 13:11:19.28 ID:0TQC9B3y.net]
荒らしが必死



999 名前:◆2VB8wsVUoo mailto:sage [2016/12/08(木) 13:25:42.03 ID:Sxrxk1aF.net]


1000 名前:132人目の素数さん mailto:sage [2016/12/09(金) 13:23:52.64 ID:0R13xCZ/.net]
荒らしが悲惨

1001 名前:132人目の素数さん [2016/12/11(日) 18:13:53.13 ID:QFAk1SuW.net]
ベータ関数って何の役に立つんですか?

1002 名前:132人目の素数さん [2016/12/11(日) 21:33:58.27 ID:QFAk1SuW.net]
広義積分+置換積分が混じり合っている場合にはどう考えればいいのでしょうか?

普通の積分が置換することにより広義積分になったり、
広義積分が普通の積分になったり。

1003 名前:132人目の素数さん mailto:sage [2016/12/11(日) 21:54:05.60 ID:ntZzeIvY.net]
ここ数日荒らしはお休み

1004 名前:132人目の素数さん mailto:sage [2016/12/12(月) 14:50:48.75 ID:6+csIu+x.net]
>>973
実例あるんか

1005 名前:132人目の素数さん [2016/12/14(水) 13:05:56.99 ID:vRgt/y3s.net]
C^

1006 名前:k級の定義について質問です。

関数fのk階までの偏導関数がすべて存在して連続であるとき、fはC^k級であるという。

これがC^k級の定義ですが、

関数fのk階の偏導関数がすべて存在してそれらのk階の偏導関数がすべて連続であるとき、fはC^k級であるという。

ではダメなんでしょうか?
[]
[ここ壊れてます]

1007 名前:132人目の素数さん mailto:sage [2016/12/14(水) 13:14:40.22 ID:Y4hALjBW.net]
いみふ

1008 名前:132人目の素数さん [2016/12/14(水) 13:37:30.48 ID:vRgt/y3s.net]
例えば、 C^2級という場合、定義によれば、

fx, fy, fxx, fxy, fyx, fyy がすべて存在して連続であることになります。

でも、

fxx, fxy, fyx, fyy がすべて存在して連続であれば、fx, fyは当然存在しますし、
fx, fyが連続であることも導かれるように思います。ですので、定義に無駄が
あるように思います。



1009 名前:132人目の素数さん [2016/12/14(水) 13:51:17.72 ID:vRgt/y3s.net]
ある本に、C^∞級の定義として、

fがすべてのr=1,2,3,…に対してr次の偏導関数を有するならば、fはC^∞級であるという。

と書かれています。r次の偏導関数の連続性は仮定されていません。これは問題ないの
でしょうか?

1010 名前:132人目の素数さん mailto:sage [2016/12/14(水) 13:59:50.66 ID:Y4hALjBW.net]
>fxx, fxy, fyx, fyy がすべて存在して連続であれば、fx, fyは当然存在しますし
暗黙の内に存在を仮定している

1011 名前:132人目の素数さん mailto:sage [2016/12/14(水) 14:08:25.41 ID:GdpNvdBL.net]
定義の中だけでcloseしなきゃね

1012 名前:132人目の素数さん mailto:sage [2016/12/14(水) 14:55:26.96 ID:Y4hALjBW.net]
一階微分が定義されるとき二階の微分を考えるんだろう、数学に向いてなさげ

1013 名前:132人目の素数さん mailto:sage [2016/12/14(水) 14:57:32.91 ID:8w7LjWrM.net]
>>982
君も早とちりを治した方がいい

1014 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:07:41.47 ID:Y4hALjBW.net]
>>983
なぜ

1015 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:09:35.24 ID:8w7LjWrM.net]
>>984
fxx, fxy, fyx, fyy がすべて存在して連続であれば、fx, fyは当然存在しますし、

★★★fx, fyが連続であることも導かれる★★★

ように思います。ですので、定義に無駄が
あるように思います。

1016 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:16:58.12 ID:Y4hALjBW.net]
>>985
だからfxyが存在して連続であるの定義を述べてみろよ

1017 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:21:15.44 ID:Y4hALjBW.net]
>>983
自己紹介か、納得

1018 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:21:55.32 ID:8w7LjWrM.net]
>>986
もしかして、fxやfyが2変数関数でることを見落として、1変数関数の場合と同じように
fxの導関数が存在するならfxは連続である
と勘違いしてないか?
fx, fyが連続であるとは、(一方の変数を固定するのではなく)2変数関数として連続という意味だぞ



1019 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:22:27.31 ID:Y4hALjBW.net]
定義もろくに分からんやつが定義に拘る、アホだろ

1020 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:23:22.43 ID:Y4hALjBW.net]
>>988
なんでもいいから定義を述べてみろよ馬鹿

1021 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:24:10.59 ID:8w7LjWrM.net]
ま、結果的に定義には無駄があるんだけどな
「一階微分が定義されるとき二階の微分を考えるので暗黙の内に存在を仮定している」というのは完全な誤解

1022 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:26:14.62 ID:Y4hALjBW.net]
定義がわからなのになぜ定義に拘る、日本語から勉強しなおせアホ、脳みそ空か

1023 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:27:24.66 ID:Y4hALjBW.net]
微分の定義がわかりませーん(笑)

1024 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:29:44.03 ID:Y4hALjBW.net]
それは微分できることです(笑笑笑)

1025 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:29:56.41 ID:8w7LjWrM.net]
わかってないのは君の方だよ
「一方の変数を固定する」の意味はわかるか?
偏導関数は一方の変数を固定したときの話
連続かどうかは2変数関数と見たときの話
これで定義は明確だろう
君はこれがわかっていなくて、「偏導関数の存在を仮定するなら当然、元の関数は連続だ」と信じているんだよ

1026 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:30:22.54 ID:Y4hALjBW.net]
微分の定義がわかりませーん(笑)

1027 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:31:36.11 ID:8w7LjWrM.net]
ちなみに
「偏導関数の存在を仮定するなら当然、元の関数は連続だ」
には反例がある
ググればすぐ見つかるだろう

1028 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:32:12.20 ID:Y4hALjBW.net]
微分の定義が分からないのに二階微分を考えるのでしょうか、アホだからです



1029 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:34:11.39 ID:Y4hALjBW.net]
それ君はアホだよ アホを治したまえ(笑)

1030 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:35:05.38 ID:Y4hALjBW.net]
さらばアホよ

1031 名前:132人目の素数さん mailto:sage [2016/12/14(水) 15:36:39.32 ID:8w7LjWrM.net]
この遣り取り、コピペにするね

1032 名前:過去ログ ★ [[過去ログ]]
■ このスレッドは過去ログ倉庫に格納されています






[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<232KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef