17/04/29 23:23:49.75 EBbgAD8L.net
dxとかdyは個々で意味はつかないと思う
251:。 dy/dxの定義は Δy/ΔxでΔxを０に近ずけたもの Δxが十分小さい時に dy=Δy dx＝Δx って考えられるとしよう。そうすると個々に意味がある気がする。 ここで注意が必要なのは Δxは式で書くとすると Δx ＝ (x＋h) - x = h って感じよね。hはなんか小さい数字ってイメージ でもΔyは式で書くなら Δy ＝ (y+h) - y ではない。 書くとすると Δy = y(x+h) -y(x) =y(x+Δx) -y(x) でΔxに依存したyの変分ってイメージ 多分>>234の「dx=Δxだがdy=Δyではない」ってのはこういうことが言いたいんじゃないかな？ 一回微分の定義に戻るとdy/dxは Δy/ΔxでΔxを０に近ずけたものだけど ここで大事なのはΔxって0に近づくけど、どんな近づき方でもいいようにしなきゃいけないってのが大事。 そう考えると(dy/du)(du/dx)って(Δy/Δu)(Δu/Δx)なんだけど Δu/Δxって書いた時に、ΔuってΔxに依存してる気がするのよ じゃあΔy/Δuって書いたら、このΔuってΔxに依存してるから、 どんな近づき方にもいいようにしなきゃいけないことに反している気がするのよね。 だからdx,dyに単独の意味づけは定義に不適切な気がする
252:１３２人目の素数さん
17/04/29 23:35:24.12 tamXtdcA.net
高木の本だとdyはΔyの（Δxに関する）線型主要部と定義されてる
だからdy≠Δyだがdx=Δxで、dy=(dy/dx)dxになる
253:１３２人目の素数さん
17/04/29 23:38:54.87 EBbgAD8L.net
すまんけど、線形主要部って何？
何となく言いたいことは分かるんんだけど,,
254:１３２人目の素数さん
17/04/30 00:15:48.87 JceQh8dh.net
f(x)dx=g(x)dxからf(x)=g(x)を言いたい時があるので
分数っぽいとも言える
255:１３２人目の素数さん
17/04/30 02:49:31.22 0GgKCM0p.net
0に近い必要はなし
単に接線を表してるだけだから
256:１３２人目の素数さん
17/04/30 05:14:48.55 TJ3ZUf8R.net
余接空間
257:１３２人目の素数さん
17/04/30 12:57:19.89 3G6+IdPF.net
>>248
Δxの冪級数で書いたときの一次項が著者に取って主要なんだろ
258:１３２人目の素数さん
17/04/30 14:45:31.51 t5t2ZDTP.net
dx=Δxだけど(dx)^2=(Δx)^2ではないよね。
(dx)^2=0として扱うよね。
本当にdx=Δxとしていいのかな？
259:１３２人目の素数さん
17/04/30 15:48:15.05 gRkPmJOD.net
(dx)^2=0 じゃあないだろ。dx=0 になってしまう。
ddx=0 と勘違いしたんじゃないのか。
260:１３２人目の素数さん
17/04/30 16:13:19.87 t5t2ZDTP.net
>>254
f(x+Δx)をテイラー展開すると（fは十分滑らかとする）
f(x+Δx)=f(x)+f'(x)Δx+(1/2)f''(x)(Δx)^2+・・・
もしdx=Δxなら同様に
f(x+dx)=f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+・・・
でもf(x+dx)=f(x)+f'(x)dxだよね。
(dx)^2=0、一般にnが2以上の時(dx)^n=0なのでは？
261:１３２人目の素数さん
17/04/30 16:41:10.44 kqCtRAjC.net
>>255の f(x+dx)=f(x)+f'(x)dx ってのは言いたいことはわかるけど違う気がする
要はそれって
f(x+dx)-f(x)-f'(x)dx=o(dx) (dx→０)ってことで
言葉遣いとしてo(dx)を無視できるっていうから、o(dx)=0って思って考えると
f(x+dx)=f(x)+f'(x)dxってことだと思うんだけど、実際 o(dx)=0ってのは違うからね
詳しくは
URLﾘﾝｸ(www.ne.jp)
262:１３２人目の素数さん
17/04/30 16:55:58.37 gRkPmJOD.net
dx=Δx ではないのは、そのとおりだが、
(dx)^2=0 は違う。
Δx は x と同じ集合の元、
dx は x とは違う集合の元だから、
dx=Δx であるわけがない。
f の定義域を式 x+dx が意味を持つ集合へ
拡張しなければ、f(x+dx) は意味を持たない。
むしろ、f(x+dx)=f(x)+f'(x)dx によって
f(x+dx) を定義すると思ったほうがいい。
f(x+Δx)=f(x)+f'(x)Δx+O(Δx^2) から
f(x+dx)=f(x)+f'(x)dx が導かれるわけじゃあない。
263:１３２人目の素数さん
17/04/30 17:12:36.22 t5t2ZDTP.net
>>256 f(x+dx)=f(x)+f'(x)dx ってのは言いたいことはわかるけど違う気がする
dy=f(x+dx)-f(x)で、f(x+dx)=f(x)+f'(x)dxは正しい式だと思いますが。
それと、dx→0というかき方は見たことがないんですけど。
Δx→0というかき方なら見たこと�
264:りますけど。 >>257 >dx=Δx であるわけがない。 ではdx=Δxと言ってる高木貞治は間違ってるということですか？
265:１３２人目の素数さん
17/04/30 17:30:12.73 gRkPmJOD.net
＞ dx→0というかき方は見たことがないんですけど。
＞ Δx→0というかき方なら見たことありますけど。
それって、dx=Δx じゃないって自分で言ってるよね。
高木貞治が何を書いてたかは覚えてないから、
その文脈で定義されたローカルな dx が何を意味するのかは
コメントできないが、
日常普通に使う dx は >>257 に書いたとおり。
266:１３２人目の素数さん
17/04/30 17:42:05.49 kqCtRAjC.net
>>258
この時のdxは十分小さな実数と思ってやってる
確かに普通はΔxって書く気がする。
まあ、>>255の書き方に合わせたってことでお願いします
あと>>258の dy=f(x+dx)-f(x) は俺はよくわからん。
まあ、ぶっちゃけdx=Δxがどうなのかって議論は凄くどうでもいい気がするけどw
もし真剣に議論するならdx、Δxを明確に定義しないと
267:１３２人目の素数さん
17/04/30 17:49:06.38 t5t2ZDTP.net
>>259 260
そもそも私はdxの定義自体がよくわからないのです。
dxの定義は何なのでしょうか？
数学ではdxを明確に定義しないでdxを使っているのでしょうか？
それともdｘは単独では定義されないのでしょうか？
268:１３２人目の素数さん
17/04/30 17:58:54.93 kqCtRAjC.net
>>261 dxは微積分では定義されないことが多いね。
恐らく、微分のdf/dx って書くから、そのままの勢いでdyとかdxってつい書いちゃっただけだと思う。
時々、テイラー展開をdxを使って書いてあったりするけど、これはdxは十分０に近い実数と考えてることが多い。
特に深い意味はないからどうでもいいと思うよw
でも、それに似たちゃんと数学的に定義されたものもあるのよね。
多分>>259はそっちで議論してる気がする。多様体上の微分で考えてるように見えるけどね
269:１３２人目の素数さん
17/04/30 18:16:51.55 gRkPmJOD.net
「十分近い」って何だよ？
dx を 0 に近い実数と考えるなら、
f(x+dx) = f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+…
≒ f(x)+f'(x)dx ではあっても、
f(x+dx) = f(x)+f'(x)dx にはならないだろ。
dx を無限小(標準部分が 0 の超実数)と見ても、
{f(x+dx) - f(x)}/dx の標準部分が f'(x) になるだけで
{f(x+dx) - f(x)}/dx = f'(x) が成立するわけじゃあない。
f(x+dx) = f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+… は
あくまでも f(x+dx) = f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+…。
270:１３２人目の素数さん
17/04/30 18:41:16.76 kqCtRAjC.net
>>263
俺は f(x+dx) = f(x)+f'(x)dx が正しいとは言ってないと思うが、、概ね>>263の結果は正しいと思うよ
俺が言いたかったのは関数fの点xの近傍でのテイラー展開ってことで
xの近傍の元のことをx+dxって言いたかったんだ。
正直>>263の書いてる無限小とか標準部分の定義を知らんから、なんとも言えないが、、
271:１３２人目の素数さん
17/04/30 19:20:16.22 gRkPmJOD.net
俺は、f(x+dx) = f(x)+f'(x)dx が正しくなるように dx を定義すべきだと思うから、
この式を超実数ではなく微分形式で解釈しろと言ってるだけ。どちらで考えても
f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+… と f(x)+f'(x)dx は同じではないが、
どっちが f(x+dx) と等しいは f(x+dx) の定義というか、dx の解釈で違ってくる。
272:１３２人目の素数さん
17/04/30 22:05:49.27 kqCtRAjC.net
>>265
なるほど、、、テイラー展開を微分形式で考えるのは初めてだわ。面白いな。
そこまで微分形式に詳しくないんだが、f(x+dx) = f(x)+f'(x)dxって式をdxを微分形式と考えるって
fの定義域にx+dxが含まれてる気がするんだけど、これってどうなん？解説してほしい。
273:１３２人目の素数さん
17/04/30 22:11:19.93 gRkPmJOD.net
いや、だから、単に
f(x+dx) = f(x)+f'(x)dx を f(x+dx) の定義にする
って、しょーもない話だよ。f を、そのように拡張する。
もともとは、定義域外なんだから。
274:１３２人目の素数さん
17/04/30 22:30:51.25 fwCQD//a.net
もうKock-Lawvere axiomでやっちゃえばいいじゃん
275:１３２人目の素数さん
17/04/30 22:43:16.92 kqCtRAjC.net
なんだ、そんなことかw
えー、、急に面白く無くなったな、、w
俺としてはf(x+dx) = f(x)+f'(x)dxが成立するって>>256で書いたけど
テイラー展開の二次以上の項を無視するって雑な意味でしかないと思うから
そんな微分形式なんて高尚なものを使うことはないと思うよw
普通はf(x+dx) = f(x)+f'(x)dxなんて考えないと思うしw
276:１３２人目の素数さん
17/04/30 22:57:55.14 gRkPmJOD.net
発端は、
277:dy/dx から切り離した dx は存在するかという話だから、 それなら微分形式があるよってこと。その dx と整合するように f(x+dx) = f(x)+f'(x)dx を成り立たせたかったら、f(x+dx) を そうやって解釈することになるでしょ。つまらん話だけど。 f(x+dx) ≒ f(x)+f'(x)dx では何の計算にも使えないし、 ≒ を = にすり替えるなんて、物理でしか許されないし。
278:１３２人目の素数さん
17/04/30 23:18:48.09 kqCtRAjC.net
やっぱり微分を分数みたいに考えるのは良くない気がしたわ
まあ、いろいろスッキリしたからいいや
279:１３２人目の素数さん
17/04/30 23:21:14.18 t5t2ZDTP.net
>>256
256さんのかいておられるf(x+dx)-f(x)-f'(x)dx=o(dx) (dx→０) という式は見たことがありません。
f(x+Δx)-f(x)-f'(x)Δx=o(Δx) (Δx→０) なら見たことがありますけど。
高木貞治流にdx＝Δxとするなら同じ式になりますが、
dx＝Δxとするなら数学的におかしくなるのは先に書いたとおりです。
>>270
単独のdxを微分形式と解釈するのなら
(dx)^2はどのように解釈するのでしょうか？
dx∧dxと解釈するのなら0になってしまいますし。
280:１３２人目の素数さん
17/04/30 23:29:34.62 JceQh8dh.net
基本定理を考えるぐらいだから分数じゃないんだろう
281:１３２人目の素数さん
17/04/30 23:34:04.77 kqCtRAjC.net
>>272すまんけど、
dx＝Δxとするなら数学的におかしくなるってどこに書いてあるっけ？
282:１３２人目の素数さん
17/04/30 23:37:09.16 +J6S9V8S.net
以下を各大さじ1で混ぜ合わせます
テーラーの定理
無限小解析
微分形式
283:１３２人目の素数さん
17/04/30 23:39:00.67 +J6S9V8S.net
釣れるネタのレシピです
284:１３２人目の素数さん
17/05/01 02:01:11.89 qhe3+eE9.net
部分積分はむしろ方針
285:１３２人目の素数さん
17/05/01 19:27:30.98 wHE+HEpg.net
>>274
234に書いてあります。
高木貞治のように「xが独立変数の時dx=Δxだが、yが従属変数の時dy=Δyではない」ならば
合成関数の微分の式dy/dx=(dy/du)(du/dx)の右辺の
dy/duのduはuが独立変数なので「du=Δu」で独立にとれますが、2番目のduはuが従属変数なのでdu=Δuではなく、独立にとれない(Δxの取り方に依存する)ことになり、2つのduは等しくならないことになります。
あなたはdx=Δx派なんですか？
286:１３２人目の素数さん
17/05/01 22:37:54.11 FnGz4ubj.net
取り敢えず、>>278はdx、Δxを何だと思ってやってるの？
なるべく従属、独立変数って言葉使わずに言ってほしい
287:１３２人目の素数さん
17/05/02 13:50:19.98 cQRys/7o.net
戯言としか思えん議論
288:１３２人目の素数さん
17/05/02 20:07:40.69 zoa/g0dm.net
>>279 dx、Δxを何だと思ってやってるの？
高木貞治の解析概論のｐ.36、37を見てください。
>>280
どこが戯言なのかを教えてください。
289:１３２人目の素数さん
17/05/02 20:30:22.09 ZNGQDHcF.net
>>281本持ってないから、高木さんの教科書に書いてあること載せてほしいな
290:１３２人目の素数さん
17/05/02 21:04:29.45 zoa/g0dm.net
>>282
解析概論p.37で、f'(x)=lim (Δy/Δx)とするとき、f'(x)Δxをdyの定義としています。
つまりdy=f'(x)Δxです。
また「xそれ自身をxの関数とみればx'=1だからdx＝Δx」と書いてあります。
これらのことからdy=f'(x)dxとなります。
291:１３２人目の素数さん
17/05/02 21:58:53.29 /IJoc1jq.net
well-definedてなに？
292:１３２人目の素数さん
17/05/02 22:29:01.59 gQeVoBVm.net
矛盾なく定義される
293:１３２人目の素数さん
17/05/02 22:57:49.06 xmyIJWOR.net
使用例
いいかげん彼氏をwell definedしようかしら
294:１３２人目の素数さん
17/05/03 01:38:04.53 pWMBkH9s.net
そりゃ、いつまでも過剰条件で解無し
のままじゃいかんからな。
295:１３２人目の素数さん
17/05/03 04:16:32.37 Km0CCXzx.net
生もの：「わしらドつきあっとる超ドレッドノート級ド付き合い漫才やねん。」。
ホモのコロケーションに位置するお焦げ矢追文化的視座から見た生ものカップリング。
296:１３２人目の素数さん
17/05/03 04:19:43.29 Km0CCXzx.net
肉体言語郎だともっとアクション路線。
297:１３２人目の素数さん
17/05/03
298:21:57:34.16 ID:pWMBkH9s.net
299:１３２人目の素数さん
17/05/05 20:21:26.26 RrHZh/8e.net
あげ
300:１３２人目の素数さん
17/05/05 22:08:49.46 M5Uqh4WR.net
x→0のときsinhx/xが1になることの証明をお願いします
301:１３２人目の素数さん
17/05/05 23:47:20.22 LJL3YQ3n.net
ロピタルの定理より自明
302:１３２人目の素数さん
17/05/06 00:14:22.33 +DPWLVWc.net
sinh(x) の定義って、(e^x - e^-x)/2 でいいの？
だったら、sin(0) = (1-1)/2 = 0 になるので、
lim[x→0]sinh(x)/x = lim[x→0]{sinh(x)-sin(0)}/(x-0)
= sinh'(0) = {(e^x)'[x=0] - (e^-x)'[x=0]}/2
= {(e^x)[x=0] - (-e^-x)[x=0]}/2
= {1 - (-1)}/2 = 1.
(e^x)' = e^x は既知とした。
303:１３２人目の素数さん
17/05/06 00:42:38.95 9sKGdgYm.net
暗算だけど、テイラー展開でいけそう
304:１３２人目の素数さん
17/05/06 04:44:47.99 +DPWLVWc.net
それもいいね。e^x がテイラー展開できれば、
lim[x→0]sinh(x)/x は計算できる。
305:１３２人目の素数さん
17/05/06 21:47:03.20 9dk2TneM.net
That is also dealt with mean value theorem: $\lim_{x \to 0} (e^{x} - 1) / x = 1$
so that $\sinh x / x = (e^x - e^{-x}) / (2x)
= e^{-x} \cdot \{ (e^{2x} - 1) / (2x) \} \rightarrow 1 \cdot 1 = 1$
as $x \rightarrow 0$.
306:１３２人目の素数さん
17/05/07 11:34:09.91 gVVV8ac7.net
これの5番を教えてください
URLﾘﾝｸ(i.imgur.com)
307:１３２人目の素数さん
17/05/07 13:35:38.04 1R7a0aV3.net
自分なりに考えたことを少しは書けよゆとり
308:１３２人目の素数さん
17/05/08 04:29:33.84 mdulbz+D.net
ボルツァノ・ワイエルシュトラスの定理の記述が中途半端だったり、
下の問題を見ると問題文中でコーシー列を紹介していたり、
大学生用なんだか高校生用なんだか判らん。
309:１３２人目の素数さん
17/05/09 09:13:28.42 dYaUzi4G.net
元京大理系C判定で美大に進学して村山橋本内閣時代の学生ですが
Z3乗の解が存在する証明の最近の歴史
310:を教えて下さい。 自分はアニメ写真の証明と制作監督が仕事ですがアニメ史だけでもZ3は超人気でエヴァも虚数の球体がそうですね手描きですが。 少女革命ウテナやまどかマギガ何て後者は主人公が名前がまどか（円の訓読み）で 登場人物全てが違うアプローチでZ3乗は実在すると言って見せるのですが 一番正しいのは慶応航空宇宙中退の河森監督の地球少女アルジュナの数学教師が熱弁するシーンですねでヤンキーが「馬鹿じゃ無いの」一言。 https://www.youtube.com/watch?v=6KfL9DRXHYk Yuki Kajiura - Credens justitiam 視聴回数 488,892 回 3,560 25 2014/11/15 に公開 Live performance of the song from Madoka at Shibuya Public Hall on September 9, 2012 プログレッシブロック何てZ3の公式其の物エレキギターがヴォーカルの動きを気にしながらの演奏フィードの近似値と愛がそうでは内科？ z3を解かせたらアニメ監督は全員数学者以上の超天才ですよドやですわね♪要するるに宗教以上の天才で良いのよバーカwwww
311:１３２人目の素数さん
17/05/09 09:23:08.69 dYaUzi4G.net
URLﾘﾝｸ(www.youtube.com)
【MAD】 マミさんのテーマ - Credens justitiam - 【原曲×合唱】
視聴回数 3,364,440 回
13,058 190
2011/11/11 にアップロード
.魔法少女まどか☆マギカより マミさんのテーマ - Credens justitiam -
URLﾘﾝｸ(www.youtube.com)
Elisa - Lost Into The Night [Initial D AMV]
チャンネル登録239 視聴回数 33,288 回
続き学生時代一般教養の物理に説明に成って無いって質問したら数回繰り返した後に「譲っても半分しか有って無いですよ」
言ったら「知らないよ」的な発言して去って行った多分世代と歳が気に入ら無い勉学的小物なんだろうなあと。
後
「映像に音楽何て邪道だよね」って在り来たりな事を美大で言い始めて高校生ギタリスト作曲家とかマブダチだったので
気持ちの意味がもう事実と違うに成って仕舞ったりとか。
312:１３２人目の素数さん
17/05/09 10:28:55.36 dYaUzi4G.net
>>301
よもやま昨日此の動画に出会って初見で泣いて仕舞った余りに美しい曲にそう言えばずっとそんな有形無形のとの
敵との闘いの人生だったあらゆる行政改革を成功させる戦力としての芸術家の人生に自分で感激して泣いて仕舞った。
学生時代にプログレに出会った運命に泣いて仕舞った。
313:１３２人目の素数さん
17/05/09 10:32:29.15 dYaUzi4G.net
コンデジの性能と調子が良かったら俺の生ギターも上げちゃうぞプログレ風本当は資産家程音楽を知ら無い
何の事かなあ解散して鳩山2期政権にでも成れば解るだろうねえ。プログレ曲トライアル。
URLﾘﾝｸ(www.youtube.com)
ターが神すぎると話題に。 視聴回数 1,965,980 回
世界トップクラスの一人村下孝蔵の一人マルチ奏法。
314:１３２人目の素数さん
17/05/09 10:40:54.17 dYaUzi4G.net
URLﾘﾝｸ(www.youtube.com)
村下孝蔵化計画efver.0.8.maxsingleCDeternalfeather悠久の翼07.mix
コンデジの仕様で2曲目が消えたけどフュージョンのライブ盤を一人で弾いてみたリズムが丁度良くて楽しかった
音入って無いがライン機材が無いので五月蠅いので自粛中
URLﾘﾝｸ(www.youtube.com)
EF-A TALE OF MEMORIES OP (EUPHORIC FIELD) CONCIERTO EN VIVO
音源違うけど一応同じ曲のライブ音源此れをエレキ1本でベースドラムヴァイオリンヴォーカルギターを1人で4本指で弾く。
村下孝蔵超尊敬してたので。
315:１３２人目の素数さん
17/05/09 10:54:50.87 dYaUzi4G.net
カレー4皿食ってまだ餃子食べてるあいつの胃はどうなってるんだと言われたものみの塔って言われてる音楽好きに。
316:１３２人目の素数さん
17/05/09 11:59:44.77 FSUy1JsK.net
お薬飲んで休みなさい
317:１３２人目の素数さん
17/05/09 13:32:56.58 dYaUzi4G.net
TMNもエルマーの冒険でサウンドプロデュースしたのだがエルマーと言えば超コンパクトレンズの代名詞。
収納式で古い設計だがズームレンズが科学的に以上に存在し無い時代にレンズが画質と無関係に動くと言う斬新なデザイン。
出し忘れ連動機能が必要だがな股間のもね
トリエルマーと言う現代ではズームで無く三点焦点レンズが有る。
まあ画質はズームは悪いエルマーも古いけど映るが所詮古いそして小さいから其れ成りに低機能。
318:￥
17/05/09 15:04:28.93 fFup5tOX.net
￥
319:￥
17/05/09 15:04:49.82 fFup5tOX.net
￥
320:￥
17/05/09 15:05:08.47 fFup5tOX.net
￥
321:￥
17/05/09 15:05:32.15 fFup5tOX.net
￥
322:￥
17/05/09 15:05:52.88 fFup5tOX.net
￥
323:￥
17/05/09 15:06:12.02 fFup5tOX.net
￥
324:￥
17/05/09 15:06:32.45 fFup5tOX.net
￥
325:￥
17/05/09 15:06:56.78 fFup5tOX.net
￥
326:￥
17/05/09 15:07:23.09 fFup5tOX.net
￥
327:￥
17/05/09 15:07:43.43 fFup5tOX.net
￥
328:１３２人目の素数さん
17/05/09 16:12:16.22 dYaUzi4G.net
URLﾘﾝｸ(twitter.com)
ベスト18決勝トーナメント1回戦後の3位のトルコ相手に苦戦敗退。西澤の宇宙開発等。
定員17人と言えば中1担任に気象大学校薦められたが高卒多いし気象庁…
URLﾘﾝｸ(twitter.com)
左ストッパー帝京の中田浩二ヒデにも苦言しかし悪く無い様なそうでも無い様な。決勝点に絡むディフェンダー元中盤。
右ボランチ明神のカバーの時の股抜き警戒もアップしようかな。股を半閉じするのがプロい。
329:１３２人目の素数さん
17/05/09 16:14:20.02 dYaUzi4G.net
高校2年上に宮本のチームメートも居たクラスメートが文学部で同学年1年の担任も高校のクラスメートが代表。
330:１３２人目の素数さん
17/05/09 16:23:38.58 dYaUzi4G.net
URLﾘﾝｸ(twitter.com)
真似るのが好きフラットスリーはウィキには日本だけが実装した事に成ってるけど静学が凄い
攻撃が一人増えるだけで凄い速いだよね全体が強いて言えば走る�
331:覧｣が長いけど。皆で走る誰かだけどか人次第だからねえ。
332:１３２人目の素数さん
17/05/09 16:44:08.64 w8gBkmJW.net
陽気のせいか、おかしなのが涌いているな。
精神科は忙しいのだろうか。
333:１３２人目の素数さん
17/05/09 17:00:41.29 dYaUzi4G.net
>>322
URLﾘﾝｸ(twitter.com)
334:１３２人目の素数さん
17/05/09 17:25:47.37 dYaUzi4G.net
静学の9番坂本紘司とか20番明神とか大胆にこう誰でもアクセスする時代にネタが意外に捗ら無いのう。
10番が高山春香そっくりだったのはまあ以下記述静学も貼るか…
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
習志野から千葉大理系にに推薦で千葉勢プロ処か海外移籍までした広山望が近い頭の中身が福田が同僚とか人口密度の数学は酷い物だった。
335:１３２人目の素数さん
17/05/09 17:34:24.62 dYaUzi4G.net
2000年、当時のU-23兼日本代表監督であったフィリップ・トルシエの高い評価を受け、シドニーオリンピック代表に選出された。
また、この年A代表にも選出されアジアカップでは2得点を挙げ、日本代表のアジア制覇に貢献。
指揮官は「完璧なチームとは、8人の明神と3人のクレイジーな選手で構成される」、
「3人の個性派に、8人の明神がいればチームはできる」、
「8人の明神と3人の天才がいれば勝てる」といったニュアンスの発言を残し、
組織的な日本のチームにおいて不可欠な選手であると絶賛した。
以後、トルシエジャパンのレギュラーの座を獲得、2002 FIFAワールドカップでも3試合に出場し、日本代表初の決勝トーナメント進出に貢献した。
336:１３２人目の素数さん
17/05/09 17:38:02.82 dYaUzi4G.net
創価中村外しの事なんだけど↑中村は運動量とキープが無さ過ぎてねえ4人目の天才は確かに魅力的何だけどアレックスが超ダークホース
本当に色々流れで全く本質がバレて無くてプロい人は中村とアレックスが左利きなのが話題に成るとニヤリ中村よりアレックスなのだよ。
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
337:１３２人目の素数さん
17/05/09 18:56:57.36 OTxIyGYI.net
ある自然数nまでの全ての自然数(1~n)の持つそれぞれの全ての約数の数の和を表す式はありますか。
今のところみつかっていないでしょうか。
338:１３２人目の素数さん
17/05/09 18:57:16.66 OTxIyGYI.net
あげ
339:１３２人目の素数さん
17/05/09 19:05:35.21 OTxIyGYI.net
いや違う...間違えた、なんて言えば良いんだろう。
今聞いたことは式が解ってるんだが。
1~nまでのそれぞれの全ての約数の数の和が解っているとして
約数が重なる(同じ数になる)nに対する比は解りますか。
340:１３２人目の素数さん
17/05/09 19:19:48.91 zzdC12s0.net
約数の数の和？ 約数の和？
約数が重なる？ 約数の和が重なる？ 約数の数の和が重なる？
nに対する比？ nに対する何の比？
341:１３２人目の素数さん
17/05/09 19:19:52.06 GiSXOdEa.net
nのそれぞれの全ての約数の数の和はxとして
約数が重なって同じ数になるxに対する比は表せますか。
nを4とします 約数の和は5ですね。 4の所で約数が重なっているので２つで１つとカウントして 約数を持つ数は4になります と言うことで比は4/5ですが
1*1 2*1 3*1 2*2 4*1
それは即ち素数の数を表します。
xに対する重なりを考えた比は解りますか。
つまりnまでのxの中の重なる回数がわかればいいのです。
342:１３２人目の素数さん
17/05/09 19:26:49.05 GiSXOdEa.net
>>331
間違えた素数になるには少し1の倍数として表す事を除外する式を取りますが気にしないでください。nにたいするxの重なる回数が解ればちゃんと4までの素数の数が解りますので。
今解っているのはnまでのxを表す式であり
解って無いのが重なる回数です。
343:１３２人目の素数さん
17/05/09 19:30:51.11 GiSXOdEa.net
約数の個数と言うべきですね。
自然数nまでのそれぞれの自然数が持ちうる約数の個数のnまでの和をxとします。とxについて注釈します
344:１３２人目の素数さん
17/05/09 19:58:13.09 dYaUzi4G.net
フランス大統領が39歳か少し嫉妬するでも何かしてくれると期待してる
345:１３２人目の素数さん
17/05/09 20:00:34.49 aQPTG8Lu.net
>>327
日本語で書けない問題を出すなって（笑）。
ちゃんとした数式にもならないんだろ？
346:１３２人目の素数さん
17/05/09 20:13:04.58 GiSXOdEa.net
>>335
まあ、いいわ。
人の事舐めすぎてる。
347:１３２人目の素数さん
17/05/09 22:45:03.03 MJzS3ReC.net
2変数関数のグラフについての質問です
f(x、y)=sinx
このように2変数関数なのにyがない、xがないといったものはグラフをどう作成したらいいのでしょうか
348:１３２人目の素数さん
17/05/09 22:45:35.88 AvYyuqoO.net
難しいね
349:１３２人目の素数さん
17/05/09 22:51:21.94 kci/HQSa.net
平面 y=0 に書いた曲線のグラフを平行移動してできる曲面
350:１３２人目の素数さん
17/05/09 23:17:06.24 V7F2Tlsj.net
>>339
元々この2変数関数のグラフの作成が苦手で…
だいたいでいいので図を付けてもらえませんか？
351:１３２人目の素数さん
17/05/09 23:21:49.80 kci/HQSa.net
URLﾘﾝｸ(www.wolframalpha.com)(x,y)+%3D+sin(x)
352:１３２人目の素数さん
17/05/09 23:23:06.48 V7F2Tlsj.net
>>341
ありがとうございました
353:１３２人目の素数さん
17/05/09 23:49:16.97 V7F2Tlsj.net
もう一度いいでしょうか？
自分はこんな感じの図にグラフを書き込んでますが、>>341だとどうなってますか？
自分の書いたものみたいな略図かなにか書いてもらえますか？
(要は軸が知りたいです)
354:１３２人目の素数さん
17/05/10 00:40:09.13 /2XxUCj3.net
GeoGebraなりなんなりを使って自分でやれ
355:１３２人目の素数さん
17/05/10 00:48:31.54 h3EUagOE.net
>>341 リンク先の 3D plot: という図が
もろにそんなグラフだけど？
356:１３２人目の素数さん
17/05/10 04:47:20.30 BUpoB8Uj.net
何かを勘違いしてるかもしれないから念のため
「f(x,y)のグラフ」といったときは
z=f(x,y)のグラフを指す
ここで、z=f(x,y)=sinx (+0y)のグラフは
どこでy軸に垂直に切っても（つまりyを固定しても）z=sinxになるようなグラフ
よって、z=sinxをy軸方向に平行移動したグラフ
357:１３２人目の素数さん
17/05/10 10:36:41.16 5mNIyMJa.net
確率の問題です
うんこしてそれがゲリのときちんぽが勃起している確率を求めよ
ベイズの定理を使ってください
358:１３２人目の素数さん
17/05/10 11:11:47.50 S/a62r8B.net
13.5％
359:１３２人目の素数さん
17/05/10 18:59:41.47 R9btrMy7.net
>>347
良く出来ました！
360:￥
17/05/11 17:06:46.24 CRQs9fzc.net
￥
361:￥
17/05/11 17:07:05.87 CRQs9fzc.net
￥
362:￥
17/05/11 17:07:26.35 CRQs9fzc.net
￥
363:￥
17/05/11 17:07:47.17 CRQs9fzc.net
￥
364:￥
17/05/11 17:08:08.42 CRQs9fzc.net
￥
365:￥
17/05/11 17:08:28.65 CRQs9fzc.net
￥
366:￥
17/05/11 17:08:50.14 CRQs9fzc.net
￥
367:￥
17/05/11 17:09:14.30 CRQs9fzc.net
￥
368:￥
17/05/11 17:09:34.84 CRQs9fzc.net
￥
369:￥
17/05/11 17:09:57.22 CRQs9fzc.net
￥
370:１３２人目の素数さん
17/05/13 18:19:23.98 xVGeyVv1.net
x_1*y_1-3*x_2*y_2+x_1*y_3-x_3*y_2 で示されるスカラー積をもつR^3の部分空間を求めよ。
371:１３２人目の素数さん
17/05/13 19:11:06.36 /Cd0OeGn.net
(x_1)(y_1)-3(x_2)(y_2)+(x_1)(y_3)-(x_3)(y_2) = (x^T)Ay,
x = (x_1,x_2,x_3)^T,
y = (y_1,y_2,y_3)^T,
A = [ 1 0 1
0 -3 0
0 -1 0 ]
と置くとき
372:、 0 = det(A-λI) = (1-λ)(3+λ)λ ⇔ λ = 1,-3,0。 A の正の固有値は λ = 1 だけだが、その固有空間は Ax = 1x ⇔ x = (r,0,0),r∈R。 R^3 の部分線型空間で x・y = (x^T)Ay を内積に持つものは、 {(r,0,0) | r∈R}。
373:￥
17/05/14 06:22:21.57 fNprJr1l.net
￥
374:￥
17/05/14 06:22:44.28 fNprJr1l.net
￥
375:￥
17/05/14 06:23:10.35 fNprJr1l.net
￥
376:￥
17/05/14 06:23:37.22 fNprJr1l.net
￥
377:￥
17/05/14 06:24:02.78 fNprJr1l.net
￥
378:￥
17/05/14 06:24:24.82 fNprJr1l.net
￥
379:￥
17/05/14 06:24:47.99 fNprJr1l.net
￥
380:￥
17/05/14 06:25:12.53 fNprJr1l.net
￥
381:￥
17/05/14 06:25:38.92 fNprJr1l.net
￥
382:￥
17/05/14 06:26:02.56 fNprJr1l.net
￥
383:１３２人目の素数さん
17/05/16 17:20:50.78 F2R+hF8Z.net
lim(x、y)→∞の(x^2+y^2)/(1+x^2+y^2)
この極限値を求めよ
lim(x、y)→(0、0)の(x^2-y^2)/(x^2+y^2)
この極限値を求めよ
384:１３２人目の素数さん
17/05/16 17:21:05.57 F2R+hF8Z.net
>>372
やり方も合わせてお願いします
385:１３２人目の素数さん
17/05/16 19:22:16.72 xiWonIwd.net
こんな簡単なの自分で考えてやれ
できないなら数学は諦めろ
386:１３２人目の素数さん
17/05/17 03:55:59.13 hcR8XvNK.net
>>374
^_^
387:１３２人目の素数さん
17/05/17 18:40:33.18 GacxxPC4.net
>>372
極座標変換x=rcosθ,y=rsinθによって、
(x^2+y^2)/(1+x^2+y^2)=(r^2)/(1+r^2)→1。
(x^2-y^2)/(x^2+y^2)=cosθこれはr→∞で収束しない。
388:１３２人目の素数さん
17/05/17 18:41:59.09 GacxxPC4.net
訂正：
r→0で収束しない。
389:１３２人目の素数さん
17/05/19 12:57:25.74 TfuwQeBO.net
どこが大学以上やねん
390:１３２人目の素数さん
17/05/19 19:49:40.35 1XXgf0CE.net
最近の高校では、この程度もやらないんじゃないの？
時代だよ。
391:１３２人目の素数さん
17/05/19 21:10:40.46 6Ff/CjsZ.net
>>376
重箱の隅 すまん。当然単純誤植だが、高校生のために
(x^2-y^2)/(x^2+y^2)=cos2θ
かな。結論は変わらずだが
URLﾘﾝｸ(ja.wikipedia.org)
三角関数の公式の一覧
倍角・三倍角・半角の公式
cos2θ＝(cosθ)^2 - (sinθ)^2
392:１３２人目の素数さん
17/05/19 21:38:22.31 6Ff/CjsZ.net
>>372
ついでに、高校生向け
１）
(x^2+y^2)/(1+x^2+y^2) は、”x^2+y^2”が繰り返し出てくるから、t=x^2+y^2 とおいて
(x^2+y^2)/(1+x^2+y^2)＝t/(1+t) に書き直して、ｔ→∞で簡単
２）
(x^2-y^2)/(x^2+y^2)は、t=y/x と置いて、分母分子をx^2で割ると
(x^2-y^2)/(x^2+y^2)＝(１-t^2)/(１+t^2) になる。>>376を知っていると、これが0～1の間の値を取ることが分かるし、知らなくても、グラフを描くと分かる
>>376を知っていると、t=y/x は、t=tanθによるcos2θ倍角公式なんだけど URLﾘﾝｸ(ja.wikipedia.org)
しかし、極座標変換は知っていないと思いつかないと思うだろ？ 普通の高校生レベルだと・・
が、(x^2-y^2)/(x^2+y^2)は、同次多項式というやつなんで、下記ご参照。t=y/x で 「変数を減らして考え」るのは、これも大学受験テクやね
URLﾘﾝｸ(www.hmg-gen.com)
同次式を解説します-高校数学の勉強法 2009 偏差値４５から５５を目指す！学年で真ん中より上を目指す人のための高校数学勉強法
(抜粋)
同次式って知っていますか？文字のごとく次数の同じ式のことを同次式といいます。
数学では変数が多いほど考えにくいので変数を減らせるときは変数を減らして考えていきます。今回、 解説をする同次式も変数を減らす方法のひとつです。
同次式は、大学受験に出てくるにもかかわらず「理解できていない」どころか「知らない」という人が多いです。
プリントを見てもらえば分かると思いますが、知っていればそれほど難しい単元ではありません。これを機に 同次式を理解してしまいましょう。
393:１３２人目の素数さん
17/05/19 21:43:46.44 oGidh5P3.net
ガロア爺さん
394:１３２人目の素数さん
17/05/20 04:42:03.73 Ag2Ph0EO.net
同次式から同次因子を括り出すとき、
代数的にやると式の対称性が崩れる。
２変数同次式を極座標変換で扱うのは、
三角関数の対称性を使って式の対称性を保つ小技。
395:１３２人目の素数さん
17/05/20 19:25:09.65 D6T3Guen.net
>>333
オイラーの定数ガンマと言う本の日本語訳版より
132項~133項より
1838年ルジューヌ ディリクレが1からnまでの全ての整数の約数の平均個数はnが大きくなると
In(n)+2Γ-1 に近づくとのこと
In(1000)+2Γ-1は7.06219...
自然数nまでの厳密な重なる回数は示せないから意味ないが。
396:１３２人目の素数さん
17/05/21 13:42:53.09 yJJJjKga.net
>>383
「２変数同次式を極座標変換で扱うのは、
三角関数の対称性を使って式の対称性を保つ小技。」だが
２変数でしか使えない弱点がある
あと、>>381 " ”x^2+y^2”が繰り返し出てくるから、t=x^2+y^2 とおいて"も、 ”t=y/x と置いて”も
「２変数を１変数に纏める」という視点から見ると
共通するものが見えるだろう
397:１３２人目の素数さん
17/05/21 21:32:44.95 2Svo4lPI.net
Differential Equationでよく見る記法について質問です。
dy/dx = f(x , y)というような書き方(yはxの関数)をよく見ますが、xが確定すればyが定まるのになぜf(x)ではなくf(x, y)と書くのでしょうか。
398:１３２人目の素数さん
17/05/21 22:37:05.92 8pI6rQ4p.net
y=f(x)の形に直せない関数でもg(x,y)=0という形で表せるから
399:１３２人目の素数さん
17/05/21 22:43:46.96 2mGRzcUc.net
f(x,y)=x^2+y^2
f(x)=x^2
400:１３２人目の素数さん
17/05/21 23:50:04.16 1wi+rVXr.net
対称性や式の見栄えに拘るよりも、便利で
計算が簡単になる応用性の高い技法なんだけど、
下品だし工学ぽくてやや鼻につくな、と。
401:１３２人目の素数さん
17/05/21 23:53:46.40 1wi+rVXr.net
あ、>>389 は >>3
402:85 宛ね。 >>386 微分方程式は、未知関数を定義するためのもので、 dy/dx = f(x , y) と書く f は既知関数。 y が x の関数だから dy/dx = f(x , y) = g(x) と 書いたなら、g も y 同様の未知関数になってしまう。
403:１３２人目の素数さん
17/05/22 07:41:52.77 0yI+BCI1.net
>>389
>下品だし工学ぽくてやや鼻につくな、と。
その批判は数学的には全くの的外れ（＾＾
>>372の問題を修正して
lim(x、y)→∞の(x^n+y^n)/(1+x^n+y^n)
lim(x、y)→(0、0)の(x^n-y^n)/(x^n+y^n)
ここに、n>2の自然数としました。
>>381の手法でなら解ける
が、>>376の極座標変換x=rcosθ,y=rsinθでは、訳分からんことになるよ
404:１３２人目の素数さん
17/05/22 11:01:11.92 ub6TXlML.net
>>388
dy/dx = x^2 + y^2 なら
xx/2 = X,
-(1+2xy)/xx = U,
とおくと
dU/dX = -(1/2)UU -U/X +1/(8XX) -2,
d(U + 1/X)/dX = -(1/2)(U + 1/X)^2 -3/(8XX) -2,
これは Riccati形 なので
U = {c[J_(-3/4)(X) + J_(5/4)(X)] + [Y_(-3/4)(X) + Y_(5/4)(X)]} / {cJ_(1/4)(X) + Y_(1/4)(X)},
J_n(X)、Y_n(X) はBessel関数、cは定数。
と容易に解ける。
dy/dx = x^2 はどう解くんだろう？
405:１３２人目の素数さん
17/05/22 11:38:06.54 5AQoJ7PG.net
アホか、例だよ
406:１３２人目の素数さん
17/05/22 12:14:26.96 5AQoJ7PG.net
>dy/dx = x^2 はどう解くんだろう？
ネタだろう（笑）
407:１３２人目の素数さん
17/05/22 13:40:27.61 IwOEwQUf.net
>>391
＞lim(x、y)→∞の(x^n+y^n)/(1+x^n+y^n)
＞lim(x、y)→(0、0)の(x^n-y^n)/(x^n+y^n)
＞極座標変換x=rcosθ,y=rsinθでは、訳分からんことになるよ
へえー
408:１３２人目の素数さん
17/05/22 15:33:48.97 .net
サイコロを振った時に1の目が出る確率は1/6
これが事実（事実とは何かという言葉の定義はおいておこう）であることは疑いが無い
何で「1の目は出るか出ないかのどちらかしか無いから1/2」と答えたらだめなんですか？
この疑問を“論 理 的 に”論破してもらえますか？
409:１３２人目の素数さん
17/05/22 15:36:48.27 .net
「サイコロを振った時に出る可能性のある目は1，2，3，4，5，6であり、そのうちの1が求める場合だから1/6」
ええそうですね
私が聞きたいのは「なんでそんな解釈やロジックを採用することがこの文脈において正しいんですか」と言うことです
なぜここで「1の目は出るか出ないかのどちらかしか無い」というロジックを採用してはだめなんですか？
410:１３２人目の素数さん
17/05/22 15:40:48.32 6j80gEZq.net
ID消して質問することか？
411:１３２人目の素数さん
17/05/22 16:16:25.54 nkmKvz8G.net
IDが変わるまで待てなかったんだろう
412:１３２人目の素数さん
17/05/22 19:17:35.88 fmAIUY0X.net
べつに1/2で定義してもいいんじゃね？観測と合わないだけで困るのは定義した本人だけだから。
413:１３２人目の素数さん
17/05/22 19:29:41.26 IwOEwQUf.net
二封筒のスレへ帰れよ。
ここは、お前のような奴が出入りする場所じゃない。
>>396 の最も論理的、数学的な答えは、
それが「サイコロ」の定義だから。
これがわからない奴が、
紙に線をひいて「幅がある」とかほざくんだよ。
414:１３２人目の素数さん
17/05/22 21:23:43.68 794pu3PV.net
ord（2^4）3、ord（5^4）3って、どうなりますか？
415:１３２人目の素数さん
17/05/22 21:34:14.46 IiRvCcC1.net
>>401
いや、数え上げ確率測度の
416:１３２人目の素数さん
17/05/22 21:57:57.85 u14ztC9R.net
>>396
根元事象を理解していないか、確率の定義が異なるかのどっちか。
417:１３２人目の素数さん
17/05/22 23:04:42.03 IwOEwQUf.net
サイコロの定義が異なるんだと思うがな。
418:１３２人目の素数さん
17/05/23 01:02:01.64 0csr0lNr.net
荒らしに理由は無い
419:￥
17/05/23 17:24:43.28 Tswa3W3t
420:.net
421:￥
17/05/23 17:25:00.05 Tswa3W3t.net
￥
422:￥
17/05/23 17:25:17.76 Tswa3W3t.net
￥
423:￥
17/05/23 17:25:34.22 Tswa3W3t.net
￥
424:￥
17/05/23 17:25:53.79 Tswa3W3t.net
￥
425:￥
17/05/23 17:26:14.60 Tswa3W3t.net
￥
426:￥
17/05/23 17:26:35.91 Tswa3W3t.net
￥
427:￥
17/05/23 17:26:57.67 Tswa3W3t.net
￥
428:￥
17/05/23 17:27:20.40 Tswa3W3t.net
￥
429:￥
17/05/23 17:27:45.14 Tswa3W3t.net
￥
430:１３２人目の素数さん
17/05/24 02:33:12.51 1k0wYyUO.net
大学以上ではないですが
他にないのでここで質問します。
ネットにもありませんでした。
本を買って調べる予定ですが 知りたい事が書いてあるか解りません。
リーマン予想は
リーマン予想の式によって、もしリーマン予想が正しければ
今発見されている最大の素数の次の素数が幾つか解るのでしょうか。
リーマン予想が正しくないとして
今まで見つかった全ての素数を順番に表す式が たった1つの次の素数を外すなどと言う式が存在するのでしょうか
431:１３２人目の素数さん
17/05/24 02:58:34.02 1k0wYyUO.net
URLﾘﾝｸ(tsujimotter.hatenablog.com)
このサイト観たのですが
(与えられた数より少ない数の素数の個数が解る)と言うならば
順番に自然数の数を1ずつ増やしていき
その自然数に対して
式が与える素数の個数が1つ増えた時が次の素数なので 解りますね。
別のサイトでみたのですが
与えられた数が素数かを判定するのは容易らしいのですが
それらの話を式の理解がないなしろ纏めて
リーマン予想で素数の個数がわかるので
上記の方法で次の素数が解ることになるとして
ニュースで今まで見つかった素数より更に大きい素数を発見したと言うニュースが無いのは何故なのでしょうか
432:１３２人目の素数さん
17/05/24 03:23:04.90 siLrD/Fa.net
与えられた数が素数かを判定するのは容易ではないのですね
数年かかるみたいな話を読みました。
でもその話にはメルセンヌ素数として探したと書いてありました。
何故、リーマン予想の式を使って 素数を探さないのですか。
メルセンヌの式には素数でない外れもありますよね。
433:１３２人目の素数さん
17/05/24 11:03:00.85 REXSP3Fp.net
>>418
ID:1k0wYyUOさん、どうも。
このURLの 「2014-06-29 リーマンの素数公式を可視化する tsujimotterのノートブック 日曜数学者 tsujimotter の「趣味で数学」実践ノート」
の内容は、間違いなく大学以上やね
リーマンの素数公式を可視化する URLﾘﾝｸ(tsujimotter.info)
「使用する零点の数が増えるに従って、だんだんと個数関数に近づいていくようすが見て取れます。この辺りの面白さは実際に見てみないと分からない感覚だと思います。」
をやってみて、感動したね～。＋１づつやると・・、面白い！感動したね～（＾＾
ところで、ID:1k0wYyUOさんは、>>396-397のサイコロくんかな？
間違っていたらごめん。文体とか雰囲気が似ていたから
サイコロくんの質問は、大学未満でスレチだが
ついでなので、後で私の意見を書いておくよ
434:１３２人目の素数さん
17/05/24 11:10:15.90 phTG5b9F.net
>>420
こんにちは
サイコ野郎ではないです
435:１３２人目の素数さん
17/05/24 11:20:33.52 REXSP3Fp.net
>>396-397
サイコロくんの質問は、大学未満でスレチだが、ついでに（＾＾
＜コメント＞
１．”「サイコロを振った時に1の目が出る確率は1/6」 これが事実（事実とは何かという言葉の定義はおいておこう）であることは疑いが無い”が不成立
２．疑いありですよ！！ 例えば、下記イカサマサイコロ
URLﾘﾝｸ(gigazine.net) 2010年09月16日 15時44分02秒 イカサマ用サイコロの簡単な作り方 Gigazine
３．だから、「サイコロを振った時に1の目が出る確率は1/6」は定義です。”正しいサイコロ”に対する確率として。正しいとは”理想のサイコロ”だと。
（補足：上記 ”イカサマ用サイコロの簡単な作り方”にあるように、現実に目の前のサイコロが完全に”理想のサイコロ”かどうかを検証することは難しい。なので、日常の友達との間では（除くヤクザの博打）「サイコロを振った時に1の目が出る確率は1/6」は定義です。）
４．定義だから、”「1の目は出るか出ないかのどちらかしか無いから1/2」と答えたらだめ”だと
（補足：「1枚の宝くじ。当たるか当たらないかしか無いから1/2」と考える人ははいない。当たる確率の定義：＝当たりくじの枚数／全発行枚数 です。）
436:１３２人目の素数さん
17/05/24 11:21:32.68 REXSP3Fp.net
>>421
そうなのか、失礼した
437:１３２人目の素数さん
17/05/24 11:31:27.21 REXSP3Fp.net
>>417
>大学以上ではないですが
>他にないのでここで質問します。
一応、
分からない問題はここに書いてね426 ｽﾚﾘﾝｸ(math板)
がある
高校数学の質問スレPart397 ｽﾚﾘﾝｸ(math板)
もあるが、質問は高校以上大学未満かな？（＾＾
だが、２CHには過大な期待をしないように
下記が、質的には上と思うよ
>ネットにもありませんでした。
一応あるよ
数学問題に関するQ&A - Yahoo!知恵袋 URLﾘﾝｸ(chiebukuro.yahoo.co.jp)
大学数学 回答受付中の質問 - Yahoo!知恵袋 URLﾘﾝｸ(chiebukuro.yahoo.co.jp)
数学の質問一覧 | 教えて!goo URLﾘﾝｸ(oshiete.goo.ne.jp)
438:１３２人目の素数さん
17/05/24 11:48:47.44 REXSP3Fp.net
>>424 補足
直接回答ではないが、関連情報４つ（ほとんど知っていると思うが）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
(抜粋)
i_love_nagoya_daganaさん2010/9/2308:17:35 Yahoo!知恵袋
素数を求める公式はありますか？
ベストアンサーに選ばれた回答 gotokotaro510さん 2010/9/23
マチャセビッチの多項式と呼ばれる
１９変数の多項式f(a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,z)があります。
これは次のような性質を持つ、「素数を表す多項式」です。
マチャセビッチの多項式の性質
１９個の変数a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,zに自然数を代入したとき、
f(a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,z)が正の数となったならば、
この値は素数になります。
また、どんな素数Pに対しても、
P=f(a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,z)
となるような１９個の自然数a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,zが存在します。
マチャセビッチの多項式の証明は『数の世界 整数論への道』 和田秀男著 岩波書店 にあります。
URLﾘﾝｸ(ja.wikipedia.org)
素数
(抜粋)
素数生成式
多変数の高次多項式では、全ての素数を生成することができる式がいくつか知られている。例えば、k + 2 が素数となる必要十分条件は、次のディオファントス方程式が自然数解を持つことである[13]:
URLﾘﾝｸ(ja.wikipedia.org)
ウラムの螺旋
(抜粋)
素数の分布をある簡単なルールに従って2次元平面に並べ、可視化したものである。これにより、いくつかの二次多項式が非常に多くの素数を生成する傾向にあることが容易に示される。これは1963年、数学者のスタニスワフ・ウラムによって発見された。
URLﾘﾝｸ(ja.wikipedia.org)
素数の一覧
439:１３２人目の素数さん
17/05/24 12:19:29.78 OVAYTzvP.net
マチャセビッチではないですが、他の素数生成式（26変数）について
URLﾘﾝｸ(integers.hatenablog.com)
の最後の方で「２」を生成する具体的な変数を求めているのがなかなか笑える。
440:１３２人目の素数さん
17/05/24 12:59:14.99 REXSP3Fp.net
>>426
情報ありがとう
面白いね（＾＾
441:１３２人目の素数さん
17/05/24 20:01:46.48 DFToadP5.net
A = (a_i_j) を n 次正方行列とする。
σ、 τ ∈ S_n とする。
n 次正方行列 (a_σ(i)_τ(j
442:)) が上三角行列となるような σ、 τ ∈ S_n が存在するための 必要十分条件をグラフ理論的に述べよ。 この問題の解答をお願いします。
443:￥
17/05/25 10:24:48.87 R56WRUD5.net
￥
444:￥
17/05/25 10:25:06.49 R56WRUD5.net
￥
445:￥
17/05/25 10:25:26.43 R56WRUD5.net
￥
446:￥
17/05/25 10:25:47.19 R56WRUD5.net
￥
447:￥
17/05/25 10:26:08.50 R56WRUD5.net
￥
448:￥
17/05/25 10:26:30.34 R56WRUD5.net
￥
449:￥
17/05/25 10:26:51.18 R56WRUD5.net
￥
450:￥
17/05/25 10:27:09.69 R56WRUD5.net
￥
451:￥
17/05/25 10:27:31.12 R56WRUD5.net
￥
452:￥
17/05/25 10:27:52.22 R56WRUD5.net
￥
453:１３２人目の素数さん
17/05/25 12:47:48.92 cm8BNe/B.net
>>428
a_i_j≠0 を i→j と思ってみな
454:１３２人目の素数さん
17/05/25 17:07:03.83 WwbKC2Sc.net
それ、σとτが違っちゃまずくない？
455:１３２人目の素数さん
17/05/25 17:14:13.20 /hDMwyS6.net
>>428
Philip N. Klein "Coding the matrix"
p.207
Problem 4.6.12:
(For the student with knowlege of graph algorithms) Design an algorithm that,
for a given matrix, finds a list of a row-labels and a list of column-labels with
respect to which the matrix is triangular (or report that no such lists exist).
↑の問題を解きたくて質問しました。
ちなみに、↑の本での実行列の定義は、
U, V を有限集合とするとき、 U × V から R への写像のことを実行列という
です。
U が行ラベルで
V が列ラベルです。
456:１３２人目の素数さん
17/05/25 17:16:08.83 /hDMwyS6.net
で、答えが分かりました。
O(n!) のアルゴリズムは分かりました。
457:１３２人目の素数さん
17/05/25 18:09:42.09 /hDMwyS6.net
>>441
U = {u_1, u_2, …, u_n}
V = {v_1, v_2, …, v_n}
行ラベルの順序を固定する。
[u_1, u_2, …, u_n]
列ラベルの n! 個ある順列
[v_τ(1), v_τ(2), …, v_τ(n)]
のそれぞれに対して、
以下の画像の問題の答えとなるアルゴリズムを修正（セルフループの除去）して使えばよい。
URLﾘﾝｸ(imgur.com)
458:１３２人目の素数さん
17/05/25 18:26:43.49 /hDMwyS6.net
あ、 O(n!) ではないですね。
もっと計算時間がかかりますね。
459:１３２人目の素数さん
17/05/25 21:32:15.47 M//NT7G1.net
Kは体, LはKの代数閉包。
f(x)=x^2+ax+b, g(x)=x^2+cx+d はK上の既約多項式で重根をもたず、fの根を α_1,α_2∈L, gの根を β_1,β_2∈L とする。
K(α_1),K(β_1) はKの2次拡大体となる。
K(α_1)≠K(β_1) を仮定する。
γ_1=α_1β_1+α_2β_2,
γ_2=α_1β_2+α_2β_1 とおく。
K(γ_1)がKの2次拡大であることおよび K(γ_1)≠K(α_1),K(β_1) を示せ。
(雪江 代数学2 演習)
460:１３２人目の素数さん
17/05/25 21:34:31.37 M//NT7G1.net
誘導などから分かっていること
K(α_1)=K(α_2) (∵α_2=-a-α_1),
K(β_1)=K(β_2) (同様)
[K(α_1,β_1):K]=4,
K(α_1,β_1)⊃K(γ_1)⊃K
γ_1-γ_2=(α_1-α_2)(β_1-β_2)≠0,
γ_1+γ_2=ac∈K,
γ_1γ_2=aad+ccb-4bd∈K
より
h(x)=(x-γ_1)(x-γ_2) はK上の2次多項式。既約かどうかは示せていない。よって
[K(γ_1):K]は1か2,
K(γ_1)=K(γ_2)
461:１３２人目の素数さん
17/05/26 00:21:44.40 0vDv4vo+.net
γ_1=α_1β_1+α_2β_2, γ_2=α_1β_2+α_2β_1 より
β_1=(α_1γ_1-α_2γ_2)/(α_1α_1-α_2α_2) だから、
K(γ_1)⊆K(α_1) と仮定すると
β_1∈K(α_1) となって、K(α_1)≠K(β_1) に矛盾。
よって、K(γ_1)=K でも K(γ_1)=K(α_1) でもない。
[K(γ_1):K]=1 でないことがわかるし、
K(γ_1)⊆K(β_1) と仮定しても同様。
462:１３２人目の素数さん
17/05/26 04:06:43.72 zZdXlk47.net
>>447
こりゃ中々思い付けない式変形だ
いけそうな気が
463:するけど β_1=(α_1γ_1-α_2γ_2)/(α_1α_1-α_2α_2) の分母が0になる可能性がありませんか？ α_1α_1-α_2α_2=(α_1+α_2)(α_1-α_2)=-a(α_1-α_2) だからa≠0が必要なんですが 実際には K=有理数体, f(x)=x^2-2, 根は±√2 g(x)=x^2-3, 根は±√3 のようなa=0になるケースも存在しているので…
464:445
17/05/26 10:04:49.48 zZdXlk47.net
>>447を受けて a=0 の場合は別個にやろうとしたら↓のようになった。
α_1=-α_2 だから
γ_1=α_1β_1-α_1β_2
α_1≠0 だから
γ_1/α_1=β_1-β_2
これに -c=β_1+β_2 を足して
(γ_1/α_1)-c=2β_1
ここで chK(=Kの標数)≠2 なら、これを2で割ればよい。
しかし chK=2 のときは 2=0 だから2で割る行為が許されない。再び場合分けになるかもしれない。ここで手が止まった。
465:￥
17/05/26 14:07:47.62 iCP5fMHR.net
￥
466:￥
17/05/26 14:08:08.34 iCP5fMHR.net
￥
467:￥
17/05/26 14:08:31.14 iCP5fMHR.net
￥
468:￥
17/05/26 14:08:54.80 iCP5fMHR.net
￥
469:￥
17/05/26 14:09:16.95 iCP5fMHR.net
￥
470:￥
17/05/26 14:09:37.52 iCP5fMHR.net
￥
471:￥
17/05/26 14:09:58.30 iCP5fMHR.net
￥
472:￥
17/05/26 14:10:18.17 iCP5fMHR.net
￥
473:￥
17/05/26 14:10:41.12 iCP5fMHR.net
￥
474:￥
17/05/26 14:11:05.34 iCP5fMHR.net
￥
475:１３２人目の素数さん
17/05/27 13:52:10.81 3/V8jMwc.net
>>448-449
ああ、恐縮。分母0をチェックしていなかった。
>>447は雑だったなあ。
Kが有限体であれば、そのn次拡大は
代数閉包の中でn毎にひとつだから、
K(α1)≠K(β1) より ch(K)=0 としていい。
最初から>>449の式変形で行くと、
α1+α2=a∈K, β1+β2=c∈K に着目して、
γ1 = α1β1+α2β2 = α1β1+(a-α1)(c-β1) より
β1 = {γ1+c(α1-a)}/(2α1-a).
このとき、K(α1) が２次拡大であることから
2α1-a=0 にはならない。(ch(K)=2 ではないので)
後は、>>447と同様に
K(γ1)⊆K(α1) と仮定すると β1∈K(α1) で矛盾。
α1 と β1 を入れ替えて、もう一度。
476:１３２人目の素数さん
17/05/27 16:37:55.35 ss1iqiiS.net
α_1=-α_2の場合、標数が2だとα_1=α_2がfの重根になり仮定に反する
477:￥
17/05/27 20:10:53.32 DdsIhcq+.net
￥
478:￥
17/05/27 20:11:12.17 DdsIhcq+.net
￥
479:￥
17/05/27 20:11:32.97 DdsIhcq+.net
￥
480:￥
17/05/27 20:11:53.88 DdsIhcq+.net
￥
481:￥
17/05/27 20:12:13.66 DdsIhcq+.net
￥
482:￥
17/05/27 20:12:33.44 DdsIhcq+.net
￥
483:￥
17/05/27 20:12:53.04 DdsIhcq+.net
￥
484:￥
17/05/27 20:13:12.44 DdsIhcq+.net
￥
485:￥
17/05/27 20:13:30.77 DdsIhcq+.net
￥
486:￥
17/05/27 20:13:49.41 DdsIhcq+.net
￥
487:１３２人目の素数さん
17/05/27 23:51:10.18 0kxgeFJj.net
>>441
Pythonのプログラムを作成しました。
↓は、行列のサイズが 10 の場合の結果です
URLﾘﾝｸ(imgur.com)
488:￥
17/05/28 02:17:18.67 XNCQoRuM.net
￥
489:￥
17/05/28 02:17:40.45 XNCQoRuM.net
￥
490:￥
17/05/28 02:18:01.03 XNCQoRuM.net
￥
491:￥
17/05/28 02:18:23.68 XNCQoRuM.net
￥
492:￥
17/05/28 02:18:43.89 XNCQoRuM.net
￥
493:￥
17/05/28 02:19:04.35 XNCQoRuM.net
￥
494:￥
17/05/28 02:19:06.25 XNCQoRuM.net
￥
495:￥
17/05/28 02:19:28.68 XNCQoRuM.net
￥
496:￥
17/05/28 02:19:52.19 XNCQoRuM.net
￥
497:￥
17/05/28 02:20:19.39 XNCQoRuM.net
￥
498:386
17/05/28 03:06:34.04 IgZz9B9T.net
>>390
回答ありがとうございました。
微分方程式から元の関数を探すのが目的だから考えてみれば当然ですね。。。
499:１３２人目の素数さん
17/05/28 10:16:21.10 41G2tCvT.net
誤答爺の誤答に納得する
500:￥
17/05/28 10:34:21.15 XNCQoRuM.net
★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★
￥
501:１３２人目の素数さん
17/05/28 10:35:56.15 41G2tCvT.net
猫の真似荒らしが偉そうに語る
502:￥
17/05/28 11:18:42.72 XNCQoRuM.net
￥
503:￥
17/05/28 11:19:03.18 XNCQoRuM.net
￥
504:￥
17/05/28 11:19:23.48 XNCQoRuM.net
￥
505:￥
17/05/28 11:19:42.76 XNCQoRuM.net
￥
506:￥
17/05/28 11:20:00.35 XNCQoRuM.net
￥
507:￥
17/05/28 11:20:18.34 XNCQoRuM.net
￥
508:￥
17/05/28 11:20:35.12 XNCQoRuM.net
￥
509:￥
17/05/28 11:20:53.76 XNCQoRuM.net
￥
510:￥
17/05/28 11:21:12.69 XNCQoRuM.net
￥
511:￥
17/05/28 11:21:32.96 XNCQoRuM.net
￥
512:１３２人目の素数さん
17/05/28 11:49:10.35 XczsstMr.net
荒らしの看板、コテ
513:￥
17/05/28 12:00:57.54 XNCQoRuM.net
★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★
￥
514:￥
17/05/28 14:00:29.51 XNCQoRuM.net
￥
515:￥
17/05/28 14:00:48.13 XNCQoRuM.net
￥
516:￥
17/05/28 14:01:07.98 XNCQoRuM.net
￥
517:￥
17/05/28 14:01:28.98 XNCQoRuM.net
￥
518:￥
17/05/28 14:01:49.66 XNCQoRuM.net
￥
519:￥
17/05/28 14:02:10.47 XNCQoRuM.net
￥
520:￥
17/05/28 14:02:33.59 XNCQoRuM.net
￥
521:￥
17/05/28 14:02:55.45 XNCQoRuM.net
￥
522:￥
17/05/28 14:03:16.04 XNCQoRuM.net
￥
523:￥
17/05/28 14:03:37.25 XNCQoRuM.net
￥
524:１３２人目の素数さん
17/05/28
525:23:23:46.33 ID:mhmrH67/.net
526:１３２人目の素数さん
17/05/29 00:42:28.56 kp71y6rA.net
2変数関数の作成が苦手です
f(x、y)=x+yぐらいならできますが
1/(x^2+y^2+1)みたいなのがグラフどころか等高線の作り方すらできずに困っています
等高線の組み立て方、そこからグラフの作成の仕方についてアドバイス等お願いします
527:１３２人目の素数さん
17/05/29 00:42:43.49 kp71y6rA.net
>>510
2変数関数のグラフの作成
528:￥
17/05/29 13:06:33.48 bj0Vx5WD.net
￥
529:￥
17/05/29 13:06:54.06 bj0Vx5WD.net
￥
530:￥
17/05/29 13:07:15.93 bj0Vx5WD.net
￥
531:￥
17/05/29 13:07:37.81 bj0Vx5WD.net
￥
532:￥
17/05/29 13:07:57.20 bj0Vx5WD.net
￥
533:￥
17/05/29 13:08:18.03 bj0Vx5WD.net
￥
534:￥
17/05/29 13:08:39.73 bj0Vx5WD.net
￥
535:￥
17/05/29 13:08:58.78 bj0Vx5WD.net
￥
536:￥
17/05/29 13:09:20.10 bj0Vx5WD.net
￥
537:￥
17/05/29 13:09:41.56 bj0Vx5WD.net
￥
538:１３２人目の素数さん
17/05/29 14:09:05.96 PusMxP5a.net
>>510
3Dのグラフが上手に書けるかどうかは、
数学じゃなくて美術の問題でしょう。
絵心がなければ、
等高線図か断面図で捉えるといい。
等高線図は、その定義どおり
f(x,y)=C(定数)の図形を考えるだけです。
例えばf(x,y)=1/(x^2+y^2+1)であれば、
1/(x^2+y^2+1)=Cを考える。
x^2+y^2=(1/C)-1 (図形があるのは0＜C≦1のとき)
は、円ですね。
どんなf(x,y)にも統一的に使える手法が
あるわけではないので、個々のf(x,y)毎に
頭をひねってどんな図形か考えます。
あるいは、f(x,y)=C(定数)を
y=(xの入った式)へ等式変形して、
微分でもしてグラフの形を考えるか。
そんなとこですね。
539:１３２人目の素数さん
17/05/30 09:48:55.78 qI1nwXJn.net
簡単のために
とかいう日本語やめれや。きもいんじゃ。
540:１３２人目の素数さん
17/05/30 10:01:10.36 oxPOPkXj.net
行列の問題で教えて下さい。左のtは転地です。
a=t[a1 a2 ••• ai •••an]
b=t[b1 b2 ••• bi •••bn]
M=a{tb} とする
M^2=kM が成り立つようなkが存在することを示せ。
kは行列ではありません。
541:１３２人目の素数さん
17/05/30 12:21:29.85 yefrwGBg.net
x/√x^2+1
x・%e^1/x
e^x^2
解ける�
542:lいますか？
543:１３２人目の素数さん
17/05/30 12:21:48.00 yefrwGBg.net
>>525
微分する問題です
544:１３２人目の素数さん
17/05/30 12:41:26.49 sdJp5dAv.net
いろいろなルアーを取りそろえましたね
545:￥
17/05/30 13:10:44.96 JdN8EDh6.net
￥
546:１３２人目の素数さん
17/05/30 13:20:13.42 HyC+7XBd.net
>>524
k={tb}a
547:１３２人目の素数さん
17/05/30 14:24:58.21 cKLPZJhi.net
[k] = (tb)a
548:１３２人目の素数さん
17/05/30 22:37:31.70 qYfFyqfk.net
>>522
なるほど
ありがとうございます
549:￥
17/05/31 03:28:14.79 9QM5Klst.net
￥
550:￥
17/05/31 03:28:33.87 9QM5Klst.net
￥
551:￥
17/05/31 03:28:54.02 9QM5Klst.net
￥
552:￥
17/05/31 03:29:14.07 9QM5Klst.net
￥
553:￥
17/05/31 03:29:31.92 9QM5Klst.net
￥
554:￥
17/05/31 03:29:50.24 9QM5Klst.net
￥
555:￥
17/05/31 03:30:06.58 9QM5Klst.net
￥
556:￥
17/05/31 03:30:24.57 9QM5Klst.net
￥
557:￥
17/05/31 03:30:46.11 9QM5Klst.net
￥
558:￥
17/05/31 03:30:47.63 9QM5Klst.net
￥
559:￥
17/05/31 03:31:06.19 9QM5Klst.net
￥
560:１３２人目の素数さん
17/06/01 12:50:19.32 I9zwpMez.net
グラフ理論について質問です。
グラフ G = (V, E) の点集合 V の二つの部分集合 X, X' := V - X への
分割 (X, X') に対して、一方の端点が X に含まれ、他方の端点が X' に
含まれるような枝の集合 C(X, X') をカットセットと呼ぶ。カットセット C(X, X')
のどの真の部分集合もカットセットをなさないとき、このカットセットは初等的
であるという。
と教科書に書いてあります。
明らかに、あるカットセットの任意の真部分集合もまたカットセットなので、
この定義によると、初等的なカットセットは存在しないということにならないでしょうか？
561:１３２人目の素数さん
17/06/01 12:56:24.80 QmGS0D3W.net
>>543
空集合は？
562:￥
17/06/01 13:34:41.07 IJ9BQrl7.net
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★
￥
563:１３２人目の素数さん
17/06/01 15:41:33.36 FEklhn3e.net
>>543
このページ↓に、初等的でないカットセットの例がある。
URLﾘﾝｸ(is2009.2-d.jp)
このページ↓なんかだと、カットセット自体を極小と言ってしまっているが。
URLﾘﾝｸ(chiraura.hhiro.net)
両者の言っている「極小」の意味が違うことは、上のサイトの例を見れば判ると思う。
最小カットセットとは違うという意味で、極小という言葉になってしまうんだろうが、、、
初等的カットセットの場合の極小は、除去辺を減らすと非連結にならないという意味。
下のサイトの言うカットセット自体の極小は、同じX,X'に分割されないという意味。
564:１３２人目の素数さん
17/06/01 20:24:32.53 I9zwpMez.net
>>546
ありがとうございます。
>>543
一方の端点が X に含まれ、他方の端点が X' に
含まれるような「すべての」枝の集合 C(X, X') をカットセットと呼ぶ。
という意味みたいですね。
あと「ある枝の集合がカットセットをなす」というのは、 V の部分集合 X, X' s.t. V = X ∪ X', X ∩ X' = φ
が存在して、C(X, X') に等しくなる時のことを言うみたいですね。
とにかく説明がひどすぎます。
565:１３２人目の素数さん
17/06/01 20:25:05.95 I9zwpMez.net
URLﾘﾝｸ(imgur.com)
↑この本ですが、間違ったことも平気で書いています。
G = (V, E)
a, b ∈ V
1, 2 ∈ E
P1 = (a, 1, b, 2, a)
P2 = (a, 1, b)
とすると
E(P1) ∪ E(P2) はタイセットを含みません。
P1 と P2 を単なる道とはせずに、単純な道とすれば明らかにタイセットを含みますが。
↑は伊理正夫他著『演習グラフ理論』という本です。
この類の本では、正確な論証が命だと思いますが、出鱈目です。
566:１３２人目の素数さん
17/06/02 09:30:45.49 s0W5osQC.net
訂正します：
P1 = (a, 1, b, 2, b)
P2 = (a, 1, b)
が
567:正しいです。
568:１３２人目の素数さん
17/06/02 10:05:22.07 s0W5osQC.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は伊理正夫他著『演習グラフ理論』です。
問題(iii)がおかしいです。
d1 ≧ 1 かつ n ≧ 2 であるときという仮定が必要です。
この本ではこの例のように、著者が暗に仮定していることがあります。
とても証明とは言えません。
最悪です。
569:１３２人目の素数さん
17/06/02 10:29:15.67 s0W5osQC.net
d1 ≧ 1 かつ n ≧ d1 + 1 であるときという仮定が必要です。
570:１３２人目の素数さん
17/06/02 13:20:32.03 sjkTKfZz.net
本をdisっても救われんぞ
571:１３２人目の素数さん
17/06/02 14:16:05.99 s0W5osQC.net
URLﾘﾝｸ(imgur.com)
↑は伊理正夫他著『演習グラフ理論』です。
木についても出鱈目なことを書いています。
「グラフ G = (V, E) が連結なときに限って部分グラフ G_T = (V(T), T) は
連結であり、」
などと書いていますが、間違いです。
グラフ G = (V, E) の連結成分の数が 2 で連結成分の1つが孤立点だけから
なる場合があるからです。
孤立点だけからなる連結成分が図1.3.1に書かれているのは皮肉ですね。
572:１３２人目の素数さん
17/06/03 17:37:43.30 BSy+Yzxv.net
救われん奴
573:１３２人目の素数さん
17/06/03 17:50:51.26 6TgAZHxb.net
アスペだから聞く耳がないらしい
574:１３２人目の素数さん
17/06/04 07:03:14.03 krieWGaN.net
URLﾘﾝｸ(en.wikipedia.org)
575:１３２人目の素数さん
17/06/04 12:40:58.69 tSWE4353.net
自身の価値を認めてないと攻撃でしか安心できないんだよねー
576:￥
17/06/04 18:12:53.55 +ujylFoS.net
￥
577:￥
17/06/04 18:13:12.16 +ujylFoS.net
￥
578:￥
17/06/04 18:13:28.92 +ujylFoS.net
￥
579:￥
17/06/04 18:13:47.76 +ujylFoS.net
￥
580:￥
17/06/04 18:14:03.16 +ujylFoS.net
￥
581:￥
17/06/04 18:14:19.04 +ujylFoS.net
￥
582:￥
17/06/04 18:14:42.70 +ujylFoS.net
￥
583:￥
17/06/04 18:15:00.96 +ujylFoS.net
￥
584:￥
17/06/04 18:15:18.14 +ujylFoS.net
￥
585:￥
17/06/04 18:15:34.68 +ujylFoS.net
￥
586:１３２人目の素数さん
17/06/06 19:11:28.96 akaeelA5.net
>>460,>>461は別人物かな？
遅くなったが、どちらもありがとう。おかげで2通りの証明を得た。
>>460
＞Kが有限体であれば、そのn次拡大は
＞代数閉包の中でn毎にひとつだから、
＞K(α1)≠K(β1) より ch(K)=0 としていい。
無限体でも標数が正になることがあるから、少しまずいようだ。
F_2=Z/2Z に対して
K=F_2(t)=(F_2[t]の商体) は無限体だが標数は2であり、
f(x)=x^2+x+t, g(x)=x^2+x+t+1 ∈ K[x]=F_2(t)[x] はともにK上既約で重根をもたず、かつ K(α_1)≠K(β_1) となることが、この本の別の箇所に書かれていた。
証明は簡単に修正できる。
先ほどの引用した3行は削除する。
2α_1-a=0 にならないことは、
ch(K)≠2 のときは K(α_1) が2次拡大であることから言える。
ch(K)=2 のときは a=0 にならないこと(>>461)から言えばよい。
>>449に直接>>461を付け加えても証明になるね。
587:１３２人目の素数さん
17/06/12 13:15:48.78 ughvrQnT.net
右と左に関する命題をP(右,左)とします
このとき「P(右,左)⇔P(左,右)」は常に成り立ちますか？
588:１３２人目の素数さん
17/06/12 13:20:28.46 f4fdjqZx.net
P(右,左) ≡「右＜左」
589:１３２人目の素数さん
17/06/12 13:29:39.46 gtkMHVyt.net
P(x, y) が 「xは右である」
590:１３２人目の素数さん
17/06/16 14:39:19.80 ldqRu+G8.net
３次正方行列を三角化する問題ですが、うまくいきませぬ。行列Aは
(2 1 1)
(1 1 -2)
(-1 1 4)
で、この固有値は 2, 2, 3。
固有値2に対する固有ベクトルは(1, -1, 1)
固有値3に対する固有ベクトルは(0, -1, 1)
これらに独立なベクトル(0,0,1)をとって、行列Pを
(0 1 0)
(0 -1 -1)
(1 1 1)
とおいて P^{-1} AP を計算したら、三角化できなかった。
どこがマズイのですか？
591:１３２人目の素数さん
17/06/16 16:35:48.51 bm3TSQfw.net
笑いがほしいのか？
592:１３２人目の素数さん
17/06/17 14:17:37.08 e47AkJmD.net
>>572
悪いのは、もちろん
三本目のベクトルのとりかた。
何でもひとつとればいいわけではなくて、
固有値２に関する一般固有空間の中から
固有ベクトルとは一次独立なものをとる必要がある。
593:１３２人目の素数さん
17/06/17 15:09:27.00 BlQ5lYj0.net
ところがギッチョン。
固有値２に関する一般固有空間は１次元だから取りようがないのだ。
線形代数を一から勉強したまえ。
594:１３２人目の素数さん
17/06/17 15:59:35.31 8PQYka6G.net
なにいってんだこいつ
595:１３２人目の素数さん
17/06/17 16:54:36.09 BlQ5lYj0.net
あ、いつもの人だ
596:１３２人目の素数さん
17/06/17 20:03:01.54 WBy8GLMg.net
wolframalpha にぶち込めば答えが出てるのに…
597:１３２人目の素数さん
17/06/18 22:23:45.45 Vt6cse1/.net
一般固有空間を知らず普通の固有空間のことだと勝手に解釈したと予想
598:１３２人目の素数さん
17/06/19 00:57:59.29 dITcCKQb.net
>>572
φ(x)=det(A-xE)=(2-x)(1-x)(4-x)+1+2+(1-x)-(4-x)+2(2-x)=x^3-7x^2+16x-12=(x-2)^2(x-3)
ここでλ=2のときrank(A-λE) =2で
重複度2に対して基底を3-2=1個しか取れず、対角化できない
599:￥
17/06/19 01:11:18.93 pqzlCEdf.net
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★
￥
600:￥
17/06/19 01:37:12.17 pqzlCEdf.net
￥
601:￥
17/06/19 01:37:31.49 pqzlCEdf.net
￥
602:￥
17/06/19 01:37:49.40 pqzlCEdf.net
￥
603:￥
17/06/19 01:38:08.56 pqzlCEdf.net
￥
604:￥
17/06/19 01:38:28.81 pqzlCEdf.net
￥
605:￥
17/06/19 01:38:48.99 pqzlCEdf.net
￥
606:￥
17/06/19 01:39:07.82 pqzlCEdf.net
￥
607:￥
17/06/19 01:39:25.48 pqzlCEdf.net
￥
608:￥
17/06/19 01:39:35.53 pqzlCEdf.net
￥
609:￥
17/06/19 01:39:56.58 pqzlCEdf.net
￥
610:１３２人目の素数さん
17/06/19 02:09:30.05 T1cJ6toJ.net
>>580
Jordan化なら、いつでもできる。
冗談化は、たいてい滑る。
611:１３２人目の素数さん
17/06/19 02:26:37.12 GPBaonxH.net
>>580
三角化っつってんだろ
よく読めや
>>572
それ計算したら下三角行列になるだろうが
Pの列の順番を変えれば上三角行列になる
一般固有空間がどうとか言ってる奴がいるが、単に三角化するだけならジョルダン標準形は別に関係ないので不要
三次の行列なら２つの独立な固有ベクトルとれたらあと１つは3つのベクトルが一次独立になるように任意にとっていい
612:￥
17/06/19 02:42:48.12 pqzlCEdf.net
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★
￥
613:￥
17/06/19 10:36:31.46 pqzlCEdf.net
￥
614:￥
17/06/19 10:36:53.34 pqzlCEdf.net
￥
615:￥
17/06/19 10:37:12.21 pqzlCEdf.net
￥
616:￥
17/06/19 10:37:33.78 pqzlCEdf.net
￥
617:￥
17/06/19 10:37:54.00 pqzlCEdf.net
￥
618:￥
17/06/19 10:38:14.01 pqzlCEdf.net
￥
619:￥
17/06/19 10:38:32.38 pqzlCEdf.net
￥
620:￥
17/06/19 10:39:05.07 pqzlCEdf.net
￥
621:￥
17/06/19 10:39:29.68 pqzlCEdf.net
￥
622:￥
17/06/19 10:39:53.70 pqzlCEdf.net
￥
623:１３２人目の素数さん
17/06/19 20:13:50.51 nL4zqm8D.net
>>593以外は、落ちこぼれ。
624:１３２人目の素数さん
17/06/19 20:19:31.90 nL4zqm8D.net
>>572-592
単位が取れる線形代数ノートか、園子ババアか、平次親分の本で一から勉強し直せ。カスども！
線形代数の基本も知らずに質問回答とは、おこがましいとは思わんのかね？
≦⌒＼／⌒≧
彡 ミ
_ノ ミ＼ ／彡 ＼
＼＿_Ｃ(･ﾚ<･)う＿＿ﾐ
彡 ／c^ ^Ｙヽ＼
／幺 ｜c^c ^/ Ｎ /ヽ
フ ＼＿／ Ｎ ｜ |
￣Ｚノｨノｨノ / |
625:１３２人目の素数さん
17/06/19 20:49:13.66 gVy/2veB.net
>>606
挙げてる本がしょっぱすぎる・・・
626:１３２人目の素数さん
17/06/19 20:56:00.37 nL4zqm8D.net
>>607
DQN御用達の本を知らんのか？ クズどもには丁度よいレベルの絵本だぞ。
627:１３２人目の素数さん
17/06/20 00:52:51.82 4fkviNU5.net
まあ三角化もわからない人に答えて欲しくはないわな
628:１３２人目の素数さん
17/06/20 21:54:34.71 cAoc3RJ9.net
>>606
平次親分に失礼だぞ！
どこの馬の骨とも分からないような予備校講師が書いたシリーズとか、自称プロを名乗るプロの数学くらいで十分だろ？ああ？
629:１３２人目の素数さん
17/06/23 16:12:34.57 G4ktL63
630:j.net
631:￥
17/06/23 16:57:44.92 4O8RcLYZ.net
☆☆☆理性を重視すべき数学徒の基本、ソレは『馬鹿板をしない』という事です。☆☆☆
￥
632:１３２人目の素数さん
17/06/23 17:13:55.10 Zv2rKShq.net
微分方程式を知らないのか
633:￥
17/06/23 17:19:49.45 4O8RcLYZ.net
☆☆☆理性を重視すべき数学徒の基本、ソレは『馬鹿板をしない』という事です。☆☆☆
￥
634:￥
17/06/23 18:13:59.84 4O8RcLYZ.net
￥
635:￥
17/06/23 18:14:19.10 4O8RcLYZ.net
￥
636:￥
17/06/23 18:14:35.86 4O8RcLYZ.net
￥
637:￥
17/06/23 18:14:54.45 4O8RcLYZ.net
￥
638:￥
17/06/23 18:15:12.36 4O8RcLYZ.net
￥
639:￥
17/06/23 18:15:32.50 4O8RcLYZ.net
￥
640:￥
17/06/23 18:15:50.80 4O8RcLYZ.net
￥
641:￥
17/06/23 18:16:12.01 4O8RcLYZ.net
￥
642:￥
17/06/23 18:16:31.07 4O8RcLYZ.net
￥
643:￥
17/06/23 18:16:52.12 4O8RcLYZ.net
￥
644:１３２人目の素数さん
17/06/23 20:43:15.33 vdLJH3Sj.net
>>613
θ＝log(s+a)にするということでしょうか？
ここから曲率中心が動いてしまい曲線の形が自分で決定できないのです
645:￥
17/06/23 20:59:54.21 4O8RcLYZ.net
★★★知性的な数学徒は馬鹿板をしない人生をその日常としなければならない。★★★
￥
646:１３２人目の素数さん
17/06/23 21:14:51.98 3eNaQmI4.net
>>625
それが真実です
647:￥
17/06/23 21:48:01.12 4O8RcLYZ.net
★★★知性的な数学徒は馬鹿板をしない人生をその日常としなければならない。★★★
￥
648:￥
17/06/24 05:00:58.87 3E0KjJWa.net
￥
649:￥
17/06/24 05:01:18.59 3E0KjJWa.net
￥
650:￥
17/06/24 05:01:38.58 3E0KjJWa.net
￥
651:￥
17/06/24 05:02:00.98 3E0KjJWa.net
￥
652:￥
17/06/24 05:02:22.28 3E0KjJWa.net
￥
653:￥
17/06/24 05:02:42.95 3E0KjJWa.net
￥
654:￥
17/06/24 05:03:05.78 3E0KjJWa.net
￥
655:￥
17/06/24 05:03:27.37 3E0KjJWa.net
￥
656:￥
17/06/24 05:03:50.27 3E0KjJWa.net
￥
657:￥
17/06/24 05:04:12.14 3E0KjJWa.net
￥
658:１３２人目の素数さん
17/06/25 19:12:45.59 7RIZ89au.net
URLﾘﾝｸ(imgur.com)
この画像の定理についてですが、説明がよくわかりません。
Vの線形独立なベクトルの組｛a1,...,an｝のうちVの基底になれないものが存在すると仮定すると、基底の定義より｛a1,...,an｝でかけないbが存在することになるというのはわかるのですが、それがどう矛盾するのか分かりません。
よろしくお願いします。
659:￥
17/06/25 20:10:48.73 i2ZaylUY.net
★★★馬鹿板は悪い習慣であり、大脳が崩壊します。なので早く止めましょう。★★★
￥
660:１３２人目の素数さん
17/06/25 21:05:34.70 mKgoO1Xy.net
それらが一次独立になるからdimV=nに矛盾
661:１３２人目の素数さん
17/06/25 21:56:48.46 7RIZ89au.net
>>641
返信ありがとうございます
｛a1,...,an,b｝が線形独立になるということですか？
そうなるのは直感的には分かるのですが、論理的にいまいちわかりません...どのように示すのでしょうか？
662:￥
17/06/25 21:57:33.94 i2ZaylUY.net
★★★馬鹿板は悪い習慣であり、大脳が崩壊します。なので早く止めましょう。★★★
￥
663:１３２人目の素数さん
17/06/25 23:37:23.73 mKgoO1Xy.net
一次独立になることを示すのはいつも同じやり方だぞ
一次結合=0としたときbの係数がどうなるか考えたみたらいい
664:￥
17/06/26 05:03:20.76 dYpMJpMg.net
￥
665:￥
17/06/26 05:03:39.60 dYpMJpMg.net
￥
666:￥
17/06/26 05:03:57.99 dYpMJpMg.net
￥
667:￥
17/06/26 05:04:18.11 dYpMJpMg.net
￥
668:￥
17/06/26 05:04:36.72 dYpMJpMg.net
￥
669:￥
17/06/26 05:04:55.81 dYpMJpMg.net
￥
670:￥
17/06/26 05:05:16.50 dYpMJpMg.net
￥
671:￥
17/06/26 05:05:47.96 dYpMJpMg.net
￥
672:￥
17/06/26 05:06:09.85 dYpMJpMg.net
￥
673:￥
17/06/26 05:06:31.04 dYpMJpMg.net
￥
674:１３２人目の素数さん
17/06/26 10:21:03.86 W+k+9UxD.net
群の公理について教えてください。
その公理の始めの2つは
(1) 単位元e∈Gがあって、すべてのa∈Gに対して、ae=ea=a
(2) すべてのa∈Gに対してb∈Gがあって、ab=ba=e
ですが、どちらも可換的です。
可換群と非可換群があるくらいですから、この2つの公理についても非可換バージョン
(1') 単位元e∈Gがあって、すべてのa∈Gに対して、ae=a
(2') すべてのa∈Gに対してb∈Gがあって、ab=e
がまずあるべきだと思うのですが、なぜそうなっていないのでしょうか
あるいはそういう代数系はすでにあるのでしょうか
675:￥
17/06/26 10:24:51.45 dYpMJpMg.net
■■■馬鹿板をスルのは頭の悪い行為であり、そやし数学徒が行ってはならない。■■■
￥
676:１３２人目の素数さん
17/06/26 11:43:44.23 RXQ3DyWZ.net
>>655
おまえの教科書には(1)(2)の証明が載ってないのか
左単位元e1：e1・a=a と
右単位元e2：a・e2=a があれば
e1・e2=e1 と e1・e2=e2 から e1=e2
だぞ
677:￥
17/06/26 12:02:40.52 dYpMJpMg.net
■■■馬鹿板をスルのは頭の悪い行為であり、そやし数学徒が行ってはならない。■■■
￥
678:１３２人目の素数さん
17/06/26 12:05:20.70 W+k+9UxD.net
>>657
言ってることがよく分かりませんが（そもそも公理は証明するものでもないし）、
私が尋ねているのは、右単位元の存在しか主張していない（左単位元の存在までは言わない）代数系はないの？
ということなのですが
679:￥
17/06/26 12:09:11.38 dYpMJpMg.net
■■■馬鹿板をスルのは頭の悪い行為であり、そやし数学徒が行ってはならない。■■■
￥
680:１３２人目の素数さん
17/06/26 12:31:01.22 frfNRnOB.net
右単位元e(と逆元)があれば
ea=(ab)a=a(ba)=ae=a
ただしbをaの右逆元、cをbの右逆元とすれば
ba=ba(bc)=bc=e
681:￥
17/06/26 13:07:32.79 dYpMJpMg.net
■■■馬鹿板をスルのは頭の悪い行為であり、そやし数学徒が行ってはならない。■■■
￥
682:１３２人目の素数さん
17/06/26 13:43:16.44 W+k+9UxD.net
>>661
ありがとうございます。
ただ、>>655で書いた
(1') 単位元e∈Gがあって、すべてのa∈Gに対して、ae=a
(2') すべてのa∈Gに対してb∈Gがあって、ab=e
の公理からは、
ea = (ab)a = a(ba) = ae = a
は出てきませんよね？
そうだとすると、やっぱり、(1)+(2)≠(1')+(2') ？
683:１３２人目の素数さん
17/06/26 14:29:41.23 kSD0L7nU.net
あるだろ
684:１３２人目の素数さん
17/06/26 14:47:47.20 0TArJdP/.net
右単位元はあるが左単位元はない非可換半群なら
そういうものは確かに存在するが、
特に名前をつけたという話は聞いたことがない。
685:￥
17/06/26 14:53:57.90 dYpMJpMg.net
■■■馬鹿板をスルのは頭の悪い行為であり、そやし数学徒が行ってはならない。■■■
￥
686:￥
17/06/26 16:00:02.72 dYpMJpMg.net
￥
687:￥
17/06/26 16:00:27.15 dYpMJpMg.net
￥
688:￥
17/06/26 16:00:49.69 dYpMJpMg.net
￥
689:￥
17/06/26 16:01:10.21 dYpMJpMg.net
￥
690:￥
17/06/26 16:01:31.11 dYpMJpMg.net
￥
691:￥
17/06/26 16:01:51.30 dYpMJpMg.net
￥
692:￥
17/06/26 16:02:11.68 dYpMJpMg.net
￥
693:￥
17/06/26 16:02:32.35 dYpMJpMg.net
￥
694:￥
17/06/26 16:02:54.26 dYpMJpMg.net
￥
695:￥
17/06/26 16:03:21.26 dYpMJpMg.net
￥
696:１３２人目の素数さん
17/06/26 19:20:26.69 frfNRnOB.net
>>663
(1')のみ成立するものを聞きたいのか(1')と(2')を満たすものを聞きたいのかどっちなんだ
それとも結合則も駄目？
697:￥
17/06/26 19:21:28.29 dYpMJpMg.net
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■
￥
698:１３２人目の素数さん
17/06/26 20:26:57.24 lG98UQM7.net
>>665 続き
G={a,b}
a*a=a
b*a=b
a*b=a
b*b=b
は、aもbも右単位元だが、左単位元は存在しない。
699:１３２人目の素数さん
17/06/26 20:31:17.70 W+k+9UxD.net
>>665
> 右単位元はあるが左単位元はない非可換半群なら
その非可換半群というのは正式名称ですか？
単位元があるので言うならむしろ非可換モノイドっぽいですが
>>677
> (1')のみ成立するものを聞きたいのか(1')と(2')を満たすものを聞きたいのかどっちなんだ
(1')と(2')を満たすものです。
> それとも結合則も駄目？
結合則はOKです。
そもそもが、非可換群と可換群の区別をするがそれ以前の単位元と逆元の公理がすでに
当然のように可換的であるのが不思議になったのが疑問の発端でした
700:１３２人目の素数さん
17/06/26 20:40:31.95 W+k+9UxD.net
>>679
なるほど、それは(1')の例ですね。
そして、右単位元しか存在しない（非可換な単位元）場合は、単位元の一意性も無くなるわけですね？
701:￥
17/06/26 21:11:55.44 dYpMJpMg.net
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■
￥
702:１３２人目の素数さん
17/06/26 22:27:33.88 lG98UQM7.net
>>680
正式名称かどうかは知らないなあ。
単語っぽく言うと気になるなら
「非可換な半群」とでも読み替えてもらえば。
非可換なモノイドなら、単位元があるやつだよ。
逆元は必要でないけれど。
(2')と言うが、そもそも単位元の無い系で
逆元っぽいものを定義する意義が解らないし、
そういう例を見たことはない。
おそらく名称は無いはず。
単位元も、逆元も、左右のものが存在すれば
両者は一致して群内でひとつであることが示せる。
群論の入門書の最初のほうにたいてい書いてある。
703:￥
17/06/26 22:37:35.43 dYpMJpMg.net
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■
￥
704:１３２人目の素数さん
17/06/26 22:58:57.16 1r0Ag/2H.net
単位元や逆元を介さずに割り算を考えたい場合ならある
quasi-group を参照
705:１３２人目の素数さん
17/06/26 23:16:52.64 frfNRnOB.net
>>680
それなら>>661で終わる
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
706:１３２人目の素数さん
17/06/26 23:24:07.16 W+k+9UxD.net
>>683
707: > 非可換なモノイドなら、単位元があるやつだよ。 はい、そうですね。(1')は（右）単位元の存在を言っています。 > (2')と言うが、そもそも単位元の無い系で > 逆元っぽいものを定義する意義が解らないし、 ？？ (2')単独ではなく(1')+(2')で考えているのですが・・・ > 単位元も、逆元も、左右のものが存在すれば > 両者は一致して群内でひとつであることが示せる。 それは知っています。 それにしても、左右どちらかしかない場合は一意性がなくなるのは不思議ですｗ
708:１３２人目の素数さん
17/06/26 23:26:58.77 frfNRnOB.net
もちろん右逆元の定義で右単位元を固定しないのなら話は別(反例が>>679)
709:１３２人目の素数さん
17/06/26 23:39:03.13 8H6pN0mG.net
ポエムだねー
710:１３２人目の素数さん
17/06/27 00:00:48.14 SdCbvWY9.net
>>686
いいもん持ってんな
711:１３２人目の素数さん
17/06/27 00:01:35.69 K9TadYNF.net
>>687
誤解があるようだが、>>683で頭に左右をつけずに「単位元」と
言っているのは、(両側)単位元のことだよ。
右だけ単位元や左だけ単位元のことを「単位元」とは普通言わない。
逆元については、両側単位元が無いと片側単位元は複数ありえるけど、
ax=e というときの e が、どの右単位元なのか、どうやって決めるの？
712:１３２人目の素数さん
17/06/27 00:24:12.20 8YCZO4ZD.net
>>686
なんでそんな色合いなんだ？
713:１３２人目の素数さん
17/06/27 02:12:11.68 p5mM3WxN.net
>>686
cor1 の証明で ek＝k を使っているが、
これは cor3 で証明されることだから順番がおかしくね？
先に cor3 が来れば問題ないように見える。
714:１３２人目の素数さん
17/06/27 07:54:33.71 bDUyvQdX.net
>>693
あら本当だ
h(ek)=(he)k=hk=eにしといて
715:１３２人目の素数さん
17/06/27 07:58:45.93 6v6OgPgR.net
おはようございます。本日の放送予定です。
都議選挙、木村沙織のふるさと八王子にて日本第一党、桜井誠と岡村みきおが演説します。
必見の価値アリ。
※配信は桜井誠のツイキャスからリアルタイムで配信されます。是非ご覧ください。
平成２９年６月２７日（火）
弁士 岡村みきお、桜井誠、堀切笹美、荒巻靖彦 ほか
選挙演説 時間、場所
８
716:時～ 高尾駅南口 １１時～ 長房団地周辺巡回 １５時３０分～ 道の駅八王子 １８時３０分～ 八王子駅北口 ＜岡村みきお後援会＞ 岡村みきお 八王子未来の会 https://m-okamura.japan-first.net/ 【期日前投票期間】６月２４（土）～７月１日（土） 午前８時３０分～午後８時 【投票最終日】 ７月２日（日） 午前７時～午後８時まで
717:１３２人目の素数さん
17/06/27 08:01:33.21 bDUyvQdX.net
違った、corの方か
ならそこは順番変えといて
そもそも群になるだけならpropとcor3さえ言えればいいんだけどね
718:１３２人目の素数さん
17/06/27 22:35:08.84 A+hma6WH.net
>>694
prop1の最後の２，３行もおかしいですね？
719:１３２人目の素数さん
17/06/28 00:14:24.58 kGdWc6Um.net
書かれているままに読めば正しくないと言えなくもないが、１行省いてるだけで等式としては結局正しいともいえるのでどうでもいい
つまらんこと指摘すんな、ボケ
720:１３２人目の素数さん
17/06/28 00:19:46.02 dHEIGm6p.net
左右に制限して単位元とか逆元とか議論するの面白いね
零因子・零元とかも
721:１３２人目の素数さん
17/06/28 08:08:24.24 XtjbGsvt.net
>>698
１ステップごとチェックしてみろ。省略なんかじゃない本質的な間違いがあるだろ。ボケ
722:１３２人目の素数さん
17/06/28 12:15:18.71 1LcJ7Q8J.net
そんな本質的な間違いなら何で自信を持ってはっきり言わないのか
723:１３２人目の素数さん
17/06/28 12:28:53.37 1LcJ7Q8J.net
prop1の下から2、3行というのが括弧の位置のことを言ってるのならそれはマジでどうでもいい指摘だが
そんなことより右単位元の一意性を示す前にそこかしこで使ってるのは修正した方がいいと思う
724:１３２人目の素数さん
17/06/28 12:35:19.87 1LcJ7Q8J.net
てかcorの順番変えようにもcor3で右単位元の一意性使ってて、それはcor1を使って示されるからダメじゃね？
725:１３２人目の素数さん
17/06/28 12:37:21.22 1LcJ7Q8J.net
ああ、その右単位元に関しての話だからいいのか
すまんすまん(￣^￣)ゞ
726:１３２人目の素数さん
17/06/28 12:39:33.93 q7xwHTGn.net
右逆元の定義は
「ある右単位元eに関して、任意のg∈Gに対してあるh∈Gが存在してgh=e」
であって、「任意のg∈Gに対してある右単位元e_gおよびh∈Gが存在してgh=e_g」ではないよ
元々>>655が想定してるのがどっちなのかは知らんが
後者ならそもそも群にならん(>>679)
727:１３２人目の素数さん
17/06/28 19:43:09.90 Pw7tbYCv.net
右単位元の存在しか仮定しないと、右単位元は複数あり得る(>>679)んだが、
そこへ片側逆元(右逆元？)を定義するときのax=eのeって、どの右単元だよ？
まずは、そこからだろ。
728:１３２人目の素数さん
17/06/28 21:55:49.42 q7xwHTGn.net
元々の問題が∀e∃gと∀g∃eのどちらを想定してるのかがわからん以上、もう話をしても無意味だろう
前者なら>>686で、後者なら>>679が答え
729:￥
17/06/29 11:31:04.37 0RPSduFk.net
￥
730:￥
17/06/29 11:31:23.48 0RPSduFk.net
￥
731:￥
17/06/29 11:31:43.32 0RPSduFk.net
￥
732:￥
17/06/29 11:32:02.65 0RPSduFk.net
￥
733:￥
17/06/29 11:32:21.02 0RPSduFk.net
￥
734:￥
17/06/29 11:32:39.80 0RPSduFk.net
￥
735:￥
17/06/29 11:32:58.97 0RPSduFk.net
￥
736:￥
17/06/29 11:33:18.99 0RPSduFk.net
￥
737:￥
17/06/29 11:33:38.97 0RPSduFk.net
￥
738:￥
17/06/29 11:33:58.36 0RPSduFk.net
￥
739:１３２人目の素数さん
17/06/29 14:30:08.11 W3RXb80R.net
〔問題〕
実数a～dについて次を示せ。
（aa+ac+cc) (bb+bd+dd）≧（3/4) (ab+bc+cd)^2,
（aa+ac+cc) (bb+bd+dd）≧（3/4) (ad-bc)^2,
不等式スレ８-042
740:￥
17/06/29 14:34:36.21 0RPSduFk.net
￥
741:１３２人目の素数さん
17/06/30 18:03:46.98 g/dkToLH.net
>>718
左辺は ab+bc+cd と ad-bc の斉2次式。
742:１３２人目の素数さん
17/06/30 18:43:36.02 g/dkToLH.net
>>718
z1 = a - cω,
z2 = d - bω,
1+ω+ω^2=0,
とおくと、
z1･z2 = (ad-bc) - (ab+bc+cd)ω,
743:１３２人目の素数さん
17/07/01 01:21:14.06 2qaW+gMk.net
門外漢ですみませんが教えてください。
URLﾘﾝｸ(ja.wikipedia.org)
ここに「無限次元超立方体や無限次元球体は有界閉集合であるがコンパクトではない（距離から位相をいれた場合）」とありますが、
「無限次元超立方体」というものはそもそも「有界」なんでしょうか？対角線の長さが無限大なので有界ではないように思えてしまいますが。
744:１３２人目の素数さん
17/07/01 12:40:48.80 SlFGfWjR.net
その通り、有界じゃない
745:722
17/07/01 19:03:00.12 2qaW+gMk.net
>>723
ありがとうございます
746:１３２人目の素数さん
17/07/01 20:41:45.02 d5Y1J2VF.net
そもそも、「無限次元超立方体」をどうやって定義したのか？
一般の無限次元線型空間には、直交基底が入るとは限らないのに、
747:１３２人目の素数さん
17/07/01 21:31:26.69 nDutmQCl.net
>>722-725
LUE=42はどんな項目もゴミに変えていく糞編集人だぞ
748:１３２人目の素数さん
17/07/01 22:37:34.70 CmNC71aV.net
maxノルムが1以下でいいんじゃない？
749:１３２人目の素数さん
17/07/02 01:42:05.05 YFTfSNeL.net
無限次元超立方体が Hilbert cube のことで、距離を考えているのなら、
直積[0,1]×[0,1/2]×[0,1/3]×…に l^2ノルムを入れているのだろう
750:１３２人目の素数さん
17/07/02 10:05:34.90 +XPrkJMk.net
加群の直和について
A+B=A+Cが成り立つ時B=Cですか？
751:１３２人目の素数さん
17/07/02 12:34:00.41 GJ7nFJgw.net
A+B=A にすらなるぞ
752:１３２人目の素数さん
17/07/02 14:51:58.58 +XPrkJMk.net
こういう時なら成り立つとかありますか？
753:１３２人目の素数さん
17/07/02 17:30:59.37 COKvKrMD.net
質問があります。
松坂和夫著の集合・位相入門（P13）を読んでいて疑問に感じました。
上記テキストには
A⊂C ∧ B⊂C → A∪B⊂C
とあります。
これは←について（つまりA∪B⊂C→A⊂C ∧ B⊂C）は成立しないのでしょうか？
成立しない場合の反例は例えばどんなものがありますでしょか。
754:１３２人目の素数さん
17/07/02 17:49:41.16 +GguaxJx.net
A⊂A∪B⊂C
755:１３２人目の素数さん
17/07/02 17:54:46.04 41cM3kCV.net
成り立つ、というか和集合の定義からA⊂A∪BおよびB⊂A∪Bは明らか
その主張は「A∪BはAとBを部分集合にもつ最小の集合」を意味している
756:１３２人目の素数さん
17/07/02 18:19:08.37 COKvKrMD.net
>733、744
コメントありがとうございます。
成り立つことと理由について理解しました。
757:１３２人目の素数さん
17/07/02 18:54:43.54 VhzY4qiw.net
現代数学ってdy/dxを分数だと認めてないけど，じゃあそれを認めてる物理学は三流学問なの？
758:￥
17/07/02 20:29:26.45 mFP5+etN.net
￥
759:￥
17/07/02 20:29:48.25 mFP5+etN.net
￥
760:￥
17/07/02 20:30:09.78 mFP5+etN.net
￥
761:￥
17/07/02 20:30:30.06 mFP5+etN.net
￥
762:￥
17/07/02 20:30:51.44 mFP5+etN.net
￥
763:￥
17/07/02 20:31:12.19 mFP5+etN.net
￥
764:￥
17/07/02 20:31:34.11 mFP5+etN.net
￥
765:￥
17/07/02 20:31:59.13 mFP5+etN.net
￥
766:￥
17/07/02 20:32:25.34 mFP5+etN.net
￥
767:￥
17/07/02 20:32:50.37 mFP5+etN.net
￥
768:１３２人目の素数さん
17/07/02 22:26:55.75 B5LlDhsN.net
物理でも
a(b,c), b(c,a), c(a,b)のとき
(db/da)(dc/db)(da/dc)=-1≠1
だけど
どこが分数？
769:１３２人目の素数さん
17/07/02 22:56:48.84 d1NpOFaQ.net
>>736
物理では認めてるの？
770:￥
17/07/03 00:48:44.24 wkhTvszq.net
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■
￥
771:１３２人目の素数さん
17/07/03 01:34:34.49 VMTDZaS0.net
URLﾘﾝｸ(i.imgur.com)
画像の式変形が分かりません
デルタはデルタ関数のことです
772:￥
17/07/03 01:35:43.56 wkhTvszq.net
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■
￥
773:￥
17/07/03 01:57:41.72 wkhTvszq.net
￥
774:￥
17/07/03 01:58:04.55 wkhTvszq.net
￥
775:￥
17/07/03 01:58:25.51 wkhTvszq.net
￥
776:￥
17/07/03 01:58:48.35 wkhTvszq.net
￥
777:￥
17/07/03 01:59:10.12 wkhTvszq.net
￥
778:￥
17/07/03 01:59:30.64 wkhTvszq.net
￥
779:￥
17/07/03 01:59:51.76 wkhTvszq.net
￥
780:￥
17/07/03 02:00:12.84 wkhTvszq.net
￥
781:￥
17/07/03 02:00:36.12 wkhTvszq.net
￥
782:￥
17/07/03 02:00:59.20 wkhTvszq.net
￥
783:１３２人目の素数さん
17/07/03 11:39:47.01 KGDJbRTr.net
>>736
数学も認めてる
認めてないのは高校数学
784:￥
17/07/03 11:44:50.05 wkhTvszq.net
■■■輝かしい日本の未来の学問は、馬鹿板をしない国民一人一人が作るもの。■■■
￥
785:１３２人目の素数さん
17/07/03 13:07:52.13 kK04+KRw.net
高校数学最低だな
786:￥
17/07/03 13:09:33.44 wkhTvszq.net
▲▲▲数学徒は馬鹿板をしない生活を送り、豊かな数学的知性を育むべきである。▲▲▲
￥
787:￥
17/07/03 14:31:47.12 wkhTvszq.net
￥
788:￥
17/07/03 14:32:09.39 wkhTvszq.net
￥
789:￥
17/07/03 14:32:38.22 wkhTvszq.net
￥
790:￥
17/07/03 14:33:00.64 wkhTvszq.net
￥
791:￥
17/07/03 14:33:22.10 wkhTvszq.net
￥
792:￥
17/07/03 14:33:52.68 wkhTvszq.net
￥
793:￥
17/07/03 14:34:11.92 wkhTvszq.net
￥
794:￥
17/07/03 14:34:33.62 wkhTvszq.net
￥
795:￥
17/07/03 14:34:54.43 wkhTvszq.net
￥
796:￥
17/07/03 14:35:23.23 wkhTvszq.net
￥
797:１３２人目の素数さん
17/07/04 10:28:15.06 +nIPPjBD.net
∫[0→0]δ(х)dx←これってどつなりますか？
798:￥
17/07/04 10:30:46.88 wspk9Yjr.net
★★★馬鹿板を長くヤルと脳が悪くなって軽蔑される。そやし早く止めるべき。★★★
￥
799:１３２人目の素数さん
17/07/04 18:29:32.22 VmtqBwqq.net
>>776 ０
800:￥
17/07/04 18:43:41.73 wspk9Yjr.net
￥
801:￥
17/07/05 03:43:33.64 EqTnonCD.net
￥
802:￥
17/07/05 03:44:01.64 EqTnonCD.net
￥
803:￥
17/07/05 03:44:25.47 EqTnonCD.net
￥
804:￥
17/07/05 03:44:49.17 EqTnonCD.net
￥
805:￥
17/07/05 03:45:14.75 EqTnonCD.net
￥
806:￥
17/07/05 03:45:44.39 EqTnonCD.net
￥
807:￥
17/07/05 03:46:38.02 EqTnonCD.net
￥
808:￥
17/07/05 03:47:04.70 EqTnonCD.net
￥