数学ナビゲーター掲示板 [All Thread / Page: 73]

数学ナビゲーター掲示板

★ google検索	★ 掲示板備え付けのログ検索
この掲示板の過去ログをgoogleで検索します。	検索条件: 現在のログを検索過去のログを検索

■ 2006/2/20より、累計：

、本日：

、昨日：

■ 数式の記述方法
■TeX入力ができます。 \[ TeX形式数式 \]　あるいは，$ TeX形式数式 $　で数式を記述します。
　TeX形式数式には半角英数字のみです。詳しくは、ここを見てください。文字化けが発生したときはここを見てください。
■ 質問をする方は、回答者に失礼のないようにお願いします。
■ 携帯電話でこの掲示板を見れるようにしました。⇒ここを見てください。
■ 24時間以内に作成されたスレッドは

で表示されます。
■ 24時間以内に更新されたスレッドは

で表示されます。

投稿順

レス数

記事リスト ( )内の数字はレス数

ベクトル解析のスカラー場について(2) |

フーリエ展開とフーリエ変換(0) |

加速度の次元と速度の次元(1) |

弘前大学　2010年度　理系　過去問です。(1) |

第2可算公理(0) |

フェルマーの最終定理の簡単な証明9(25) |

大学で出された行列の課題がわかりません。(1) |

広義積分(0) |

至急この問題を解説していただきたいです(0) |

消火栓からの流量を何立米/sにしたら良いのでしようか？水理学、流体力学(2) |

極限(0) |

素数(0) |

複数の点によって構成される多角形を相互の距離情報から類推する方法(6) |

正射影再び（笑）(4) |

正射影：正三角形→2等辺三角形(2) |

球面上の２つの円の重なっている部分の面積(0) |

素数積の評価～ベルトラン・チェビシェフの定理(5) |

eの極限(2) |

積分(0) |

四角形の極限(2) |

ベルトラン・チェビシェフの定理について。(2) |

デデキントの切断による実数の構成(0) |

ベルトラン・チェビチェフの定理について。(0) |

$D_n$加群のフーリエ変換と関数のフーリエ変換との関係について(0) |

群の問題(5) |

合同式の計算(2) |

プログラミング言語BASIC言語について。(14) |

■47838 / 親記事)

　連結集合のはなし

□投稿者/ コメムシ一般人(1回)-(2016/12/05(Mon) 03:12:43)

X_1,X_2を位相空間とし,A⊂X_1×X_2を連結集合とする時,
{x_1∈X_1;(x_1,x_2)∈A}と{x_2∈X_2;(x_1,x_2)∈A}も連結集合になる事を示していただけませんでしょうか?

引用返信/返信 [メール受信/OFF]

▽[全レス1件(ResNo.1-1 表示)]

■47851 / ResNo.1)

　Re[1]: 連結集合のはなし

□投稿者/ 集合一般人(1回)-(2017/01/11(Wed) 12:03:05)

2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。

http://www.hoshiwatch.com/category-1.html

引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-1]

■記事リスト / ▼下のスレッド / ▲上のスレッド

■47843 / 親記事)

　超フィルタの定義はこれでOK?

□投稿者/ EE 一般人(1回)-(2016/12/29(Thu) 23:38:13)

Ωを全体集合とする。
[定義1] F⊂2^ΩがΩ上のフィルタ ⇔(def) (i) Ω∈F,φ∈F, (ii) F∋a⊂b⊂Ω⇒b∈F, (iii) a,b∈F⇒a∩b∈F.
[定義2] F⊂2^ΩがΩ上の超フィルタ ⇔(def) (i) FはΩ上のフィルタ, (ii) a∈F ⇒ Ω＼a∈F.

どこか間違ってますでしょうか? 間違ってましたら訂正をお願い致します。

引用返信/返信 [メール受信/OFF]

■記事リスト / ▼下のスレッド / ▲上のスレッド

■46659 / 親記事)

　素数

□投稿者/ 大蛇一般人(1回)-(2015/01/09(Fri) 17:58:05)

pを素数とすると、2^p-1の素因数は全てpより大きいことを示せ。

教えて下さい。

引用返信/返信 [メール受信/OFF]

▽[全レス10件(ResNo.6-10 表示)]

■46665 / ResNo.6)

　Re[1]: 素数

□投稿者/ WIZ 一般人(9回)-(2015/01/10(Sat) 00:51:37)

スレ主さんの仰る通りですね。
「a^1, a^2, a^3, ・・・, a^(q-1)は全て法qで非合同」になるのは
aが法qの原始根の場合だけですね。

pが2を原始根として持つ素数ならば私の提示した方法で説明できてるけど、
それ以外の素数はアウトですね!

よって、私の書き込みは無視してください。申し訳ありません。

引用返信/返信 [メール受信/OFF]

■46667 / ResNo.7)

　Re[1]: 素数

□投稿者/ みずき一般人(16回)-(2015/01/10(Sat) 02:35:07)

次のようにできると思います。

qを2^p -1の任意の素因数とすると、2^p≡1 (mod q)。
ここで、集合Uを
U={n｜nは正の整数で、2^n -1が素因数qで割り切れる}
で定め、Uの中で最小な正の整数をeとする。

ここで次の命題を証明する。
「Uの任意の元をmとするとき、mがeで割り切れる」
（命題の証明）
mがeで割り切れないと仮定する。
mをeで割ったときの商をs、余りをrとするとm=es+r（0＜r＜e）と表せる。
このとき2^r≡2^r*1≡2^r*{(2^e)^s}≡2^(es+r)≡2^m≡1 (mod q)
だから、2^r -1はqで割り切れる。
0＜r＜eだから、rはeより小さなUの要素となるが、これはeの最小性に反する。
従って、仮定が誤りで、mはeで割り切れる。
（命題の証明終了）

2^p≡1 (mod q)と命題によりpはeで割り切れるから、eはpの約数。
pは素数だから、e=1,pのいずれか。
e=1とすると、2-1=1がqで割り切れることになり不合理なので、e=p。
2^p -1は奇数だから、qは奇素数。よって、2とqは互いに素だから、
フェルマーの小定理より、2^(q-1)≡1 (mod q)が言えて、
命題によりq-1はe=pで割り切れる。
よって、p≦q-1なので、p＜qが言えました。

引用返信/返信 [メール受信/OFF]

■46668 / ResNo.8)

　Re[1]: 素数

□投稿者/ WIZ 一般人(10回)-(2015/01/10(Sat) 04:33:48)

スレ汚し申し訳ありません。

自然数aが素数qと互いに素な場合、ある自然数eが存在して
a^e ≡ 1 (mod q) (フェルマーの小定理の系(カーマイケルの定理?))
となります。eはq-1の約数となりますので、1 ≦ e ≦ q-1です。
e = 1となるのはa = 1の場合だけですので、a = 2ならば1 < e ≦ q-1となります。

q ≦ pつまりq-1 < pと仮定すると、1 < e < pです。
ここで2^p ≡ 1 (mod q)ならばpはeの倍数となり、これはpが素数であることに反します。
よって、q ≦ pは不可能です。

引用返信/返信 [メール受信/OFF]

■46688 / ResNo.9)

　Re[2]: 素数

□投稿者/ 大蛇一般人(6回)-(2015/01/14(Wed) 07:51:17)

ありがとうございました。

引用返信/返信 [メール受信/OFF]

■47842 / ResNo.10)

　素数の勉強会します

□投稿者/ Tommy. P.N. 一般人(1回)-(2016/12/24(Sat) 02:48:57)
http://youtu.be/WNyZwjk5KCw

http://youtu.be/WNyZwjk5KCw
突然ですが、今週日曜日に素数の勉強会を開催します。
素数の好きな方歓迎します。
ヨロシクお願い致します。

引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-9] [10-10]