[ ホームページ ] [ 携帯用URL ]
数学問題集「考える葦」 数学質問掲示板

わからない算数・数学の問題を質問して教えてもらいましょう。
回答できる人は積極的に回答し、みんなで教えあいましょう。
利用前に数学質問掲示板の注意事項を読んでください。
数式の書き方がわからない人は数学質問掲示板での数式の書き方を参考にして下さい。

[ EZBBS.NET | 新規作成 | ランキング | オプション ]
iモード&(絵文字)、au対応!ケータイからも返信できる無料掲示板!
名前
 E-mail 
題名
内容
   タグ有効 改行有効 等幅フォント
URL



『整数と平面格子の数学』P.86 返信  引用 
名前:りんご    日付:2017/5/22(月) 23:27
以下の補題の証明でわからないところがあります.教えて頂けませんかm(_ _)m


原点 O に関して点xと対称な点を -x で表す.
図形Xをベクトル Op→ に沿って平行移動した図形を X+p で表す.
大きな正方形で覆うことができる図形は有界であるという.

[補題]
有界な図形Xの面積が1より大きいならば
(X+p)∩(X+q)≠∅
となるような相異なる格子点p,qが存在する.

[証明]
相異なる格子点p,qに対して,常に(X+p)∩(X+q)=∅ となると仮定して矛盾を導く.Xは有界な図形だから,十分大きな整数Mをとれば,4つの点(±M,±M)を頂点とする正方形でXを覆うことができる.整数n>0に対して,R(n)を(±nM,±nM)を頂点とする正方形とすると,p∈R(n)のとき,X+p⊂R(n+1)である.R(n)では,格子点が縦方向にも横方向にも 2nM+1 個ずつ並ぶから,R(n)の含む格子点数は (2nM+1)^2 個である.各格子点 p∈R(n)に対してX+pたちは共有点をもたないから,R(n+1)の面積(2(n+1)M)^2 は Xの面積A(X)の (2nM+1)^2 倍以上である.
ゆえに (2(n+1)M)^2≧(2nM+1)^2 × A(X) である.
これから,任意の n>0 について
{(2(n+1)M)/(2nM+1)}^2 ≧ A(X)
となることがわかる.すると,n→∞ のとき,左辺→1であるから,
1≧A(X)となり,A(X)>1 という仮定に反する.□


「各格子点 p∈R(n)に対してX+pたちは共有点をもたないから,
R(n+1)の面積(2(n+1)M)^2 は Xの面積A(X)の (2nM+1)^2 倍以上である.」

ここの記述がよくわかりません…。



Re: 『整数と平面格子の数学』P.86
名前:IT    日付:2017/5/23(火) 0:11
「各格子点 p∈R(n)に対してX+pたちは共有点をもたないから,

R(n+1)の面積(2(n+1)M)^2 は Xの面積A(X)の (2nM+1)^2 倍以上である.」

(1)各格子点 p∈R(n)に対してX+pたちは共有点をもたない

(2)R(n+1)の面積(2(n+1)M)^2 は Xの面積A(X)の (2nM+1)^2 倍以上である

(1) がなぜか分かりませんか?
相異なる格子点p,qに対して,常に(X+p)∩(X+q)=∅ となると仮定したからです。

「(1)なので(2)」が分かりませんか?


Re: 『整数と平面格子の数学』P.86
名前:りんご    日付:2017/5/23(火) 1:0
返信ありがとうございます。

「(1)なので(2)」がわからなかったのですが、少しわかってきたような気がします。
各格子点 p∈R(n)に対して各X+pは共有点をもたず、
R(n)の格子点の個数が (2nM+1)^2 個あって、
Xの面積A(X)を(2nM+1)^2 個集めてきたものよりも、更にR(n+1)の面積は大きいから
(2(n+1)M)^2≧(2nM+1)^2 × A(X)
ということでしょうか。


Re: 『整数と平面格子の数学』P.86
名前:IT    日付:2017/5/23(火) 7:24
その理解で正しいと思います。


Re: 『整数と平面格子の数学』P.86
名前:りんご    日付:2017/5/23(火) 12:46
ありがとうございますm(_ _)m

実数の構成法に関して 返信  引用 
名前:そら    日付:2017/5/22(月) 20:48
お世話になってます。

以下の問題がわからず困っています。

任意のr∊Rと、任意のn∊Nに対して、次の条件を満たす正の数x∊Rが存在することを証明せよ。
x^n=r

ヒントとして、集合
S={r∊Q|r≦0 または r^n<a}
の上限を考えよ、とあるのですが・・・



Re: 実数の構成法に関して
名前:noname    日付:2017/5/22(月) 21:18
>ヒントとして、集合
>S={r∊Q|r≦0 または r^n<a}
>の上限を考えよ、とあるのですが・・・

aの定義は何でしょうか?


Re: 実数の構成法に関して
名前:そら    日付:2017/5/22(月) 21:26
返信ありがとうございます
すみません、タイプミスです

正しくは

S={s∊Q|s≦0 または s^n<r}

となります


Re: 実数の構成法に関して
名前:noname    日付:2017/5/22(月) 21:46
>正しくは
>S={s∊Q|s≦0 または s^n<r}
>となります


了解致しました.ところで,今しがた気が付いたのですが,

>任意のr∊Rと、任意のn∊Nに対して、次の条件を満たす正の数x∊Rが存在することを証明せよ。
>x^n=r

に関してもタイプミスはありませんか.実際,この記述が正しいのであれば,例えばr=-2とn=4に対して,x^4=-2を満たす正の実数xは存在しませんよ.


Re: 実数の構成法に関して
名前:そら    日付:2017/5/22(月) 22:3
返信ありがとうございます

度々すみません
確かにそうです、
正しくは


任意のr∊R(r>0)と、任意のn∊Nに対して、次の条件を満たす正の数x∊Rが存在することを証明せよ。
x^n=r

ヒント、
集合
S={s∊Q|s≦0 または s^n<r}
の上限を考えよ

となります


Re: 実数の構成法に関して
名前:noname    日付:2017/5/25(木) 1:45
>正しくは
>任意のr∊R(r>0)と、任意のn∊Nに対して、次の条件を満たす正の数x∊Rが存在することを証明せよ。
>x^n=r
>ヒント、
>集合
>S={s∊Q|s≦0 または s^n<r}
>の上限を考えよ
>となります


了解致しました.以下に証明の概略を与えておきますので,細かな部分の論証はご自身で補ってください.

[証明の概略]
r=1の場合は明らか.特に,r≠1の場合について考える.Sの定義より0∈SであるからS≠Φ
である.また,max{r,1}はSの上界である.よって,Sは空でない上に有界なRの部分集合で
あり,supSが存在する.さらに,min{r^n,1}>0,min{r^n,1}∈Sゆえ,Sは正数を持つ.よっ
て,supS>0である.

(supS)^n<rであると仮定する.supS+1/n_[0]∈Sを満たす様に正の番号n_[0]を十分大きく
選ぶことが出来るが,supS+1/n_[0]はSの元であってSの上限よりも大きなものが存在するこ
とを意味し,矛盾が生じる.

一方,(supS)^n>rであると仮定すると,同様な議論を行うことにより(supS-1/n_[1])^n>r
を満たす様に十分大きな正の番号n_[1]を選ぶことが出来る.この時,(q_[0])^n<rを満たす
有理数qを任意に選ぶと,(supS-1/n_[1])^n>r>q^nであるから,supS-1/n_[1]>qが成り立
つ.よって,supS-1/n_[1]はSの上界であるが,いまこの数はsupSより小さいから上限の最
小性に関する矛盾が生じる.以上により,(supS)^n=rが成立しなければならない.□
_______________________________________________________________________________________________

※証明の概略を読むにあたって,次の資料

http://web.cc.yamaguchi-u.ac.jp/~hiroshi/basic/basic.pdf

の補題2.6.3を参考にされるとよいかもしれません.

線形代数 返信  引用 
名前:    日付:2017/5/21(日) 1:46
Aを正方行列、H,H1,H2を対称行列とふる
次の事を証明せよ
(1)AH^tAは対称行列である
(2)H1+H2,H1H2+H2H1はいずれも対称行列である
(3)H1,H2が対称行列であるための必要十分条件はH1H2=H2H1である
よろしくお願いします…



Re: 線形代数
名前:noname    日付:2017/5/21(日) 16:15
(1),(2)に関しては「2つの行列の和と積に関する転置の性質」を使って計算すればよいかと思います.もしこの性質についてピンと来ない様であれば,適当な線形代数の本或いはpdf資料などを使ってふりかえっていただくとよいかと思います.


一方,(3)についてですが,問題文の次の記述

>H1,H2

は積H_[1]H_[2]に関する誤植でしょうか.もしそうであれば,この設問についても対称行列の条件式と2つの行列の転置の性質を使って計算すればよいです.ただ,もし同値性を保った議論が難しいようであれば,

・H_[1]H_[2]が対称行列の時に,H_[1]H_[2]=H_[2]H_[1]が成り立つことを示す
・H_[1]H_[2]=H_[2]H_[1]が成り立つ時に,H_[1]H_[2]が対称行列であることを示す

をそれぞれ順番に考えていただくとよいかもしれません.

集合論:証明 返信  引用 
名前:なるせ    日付:2017/5/21(日) 0:21
今年から集合論を学んでおり、どのような流れでまたどういった方法で証明すればよいのかわかりません。
証明のコツなども教えていただければ幸いです。
<問題>
n∈Nに対し、Bn=[-1/n,1/n]とおく。
このとき
⋂(n∈N)Bn={0}を示せ。



Re: 集合論:証明
名前:IT    日付:2017/5/21(日) 2:4
(1) 0 ∈⋂(n∈N)Bn である.
(2) x≠0のとき x∈⋂(n∈N)Bnでない.

(1)(2)を示せば良いと思います。


Re: 集合論:証明
名前:なるせ    日付:2017/5/21(日) 2:19
ITさん返信ありがとうございます。
ぼんやりですが、イメージはできました。
加えて1点質問があります。
・証明の過程なのですが、(0,1/n]の範囲を示すことができれば[-1/n,0)も成り立つと思ったのですが、そのような指針でも大丈夫でしょうか?
まだまだ素人なのでわからないことだらけです。
馬鹿げている質問とは思いますが、ご回答お願いします。


Re: 集合論:証明
名前:IT    日付:2017/5/21(日) 2:42
> (0,1/n]の範囲を示すことができれば[-1/n,0)も成り立つ
質問の意味が良く分かりません。


Re: 集合論:証明
名前:noname    日付:2017/5/21(日) 16:1
マルチポスト先にも回答が付いている様です.一度ご覧になられるとよいかと思います.

http://www1.ezbbs.net/cgi/reply?id=dslender2&dd=19&re=51130

ページ: 1 2 3 4 5 6 7 8 9 10 >> >| 

無料アクセス解析

アクセス解析の決定版!無料レンタルで最大100ページ解析!

   投稿KEY
   パスワード

EZBBS.NET produced by InsideWeb