- ベストアンサー
・通信容量に関する定理
・通信容量に関する定理 以下，リンク3枚目の通信容量に関して http://www.alab.t.u-tokyo.ac.jp/~shino/PATTERN/09_5.pdf ・ノイズがある場合，C=C0-C0(-plogp-(1-p)log(1-p))で与えられると記載されていますが， シャノン＝ハートレーの定理（http://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%A3%E3%83%8E%E3%83%B3%EF%BC%9D%E3%83%8F%E3%83%BC%E3%83%88%E3%83%AC%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86）と同じなのでしょうか？ （参照しているpdfはわかりやすいのですが，オリジナルの文献が記載されていないので，何の定理なのか分からず，wikiの方は読んでも理解できないため。） ・ノイズが存在するときの通信路容量C=C0-C0(-plogp-(1-p)log(1-p))とは、いまC0だけど 誤りがpだけあると想定されるので、C0からCに下げてしまえば、とりあえず誤りは避けられるということでよいのでしょうか？ それとも、Cに下げるだけでなく、パケットを送るときに何かしてから送らなければ、下げるだけでは誤りを避ける保証は得られないということでしょうか？ ・また、このpdfで定義されている理論限界Cを考慮したとしても、実際に通信をすると理論限界を超えてしまって、誤りは発生するのでしょうか？ ご回答お願い致します。
- nnsvm
- お礼率16% (39/239)
- 科学
- 回答数3
- ありがとう数2
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
>シャノン＝ハートレーの定理と同じなのでしょうか？ 関係していますが、違います。ハートレーの法則というのは、通信路（本来は無線）におけるノイズと情報伝達の誤り率に関する法則です。それがシャノンの情報理論と合体させたのが、シャノン＝ハートレーの定理なのです。 すなわち情報理論における数学的な通信量を、実際の情報の伝送路にはめこんだものといえましょう。 >・ノイズが存在するときの通信路容量C=C0-C0(-plogp-(1-p)log(1-p))とは、いまC0だけど >誤りがpだけあると想定されるので、C0からCに下げてしまえば、とりあえず誤りは避けられるということでよいのでしょうか？ Ｃが理論上の伝送可能な情報量でＣ0がその伝送路の最大通信容量です。１Mbit/sec.の伝送路があるとします。このときエラーがない、すなわちp=0の時の情報の量はＣ＝Ｃ0で１Mbit/sec.となり、 p = 0.01の場合は、式から 1 - (0.01*log(1/0.01) + (1 - 0.01)log(1/(1 - 0.01))) =0.919Mbit/sec. が伝送可能な最大情報量ということですね。この数字にどういう意味があるかというと、誤り率がP=0.01未満と予想される伝送路において、現実の通信速度が0.919Mbitに近いほど優れた誤り訂正のアルゴリズムであるいう基準になるのです。 以下余談です。 (1)参照されているウィキペディアの以下の記述 「驚くべきことに、帯域幅の制限は最大情報転送レートを制限しない。これはつまり、ノイズさえなければ信号の様々なレベルに異なる意味（あるいはビット列）を割り当てることで多量の情報を送ることが出来、これを突き詰めて行けば、瞬間の信号レベルだけで無限の情報を送ることも原理的には可能なのである。」 は明らかに誤りです。帯域が無限に小さい、すなわち単一周波数の信号があるとします。情報を伝達するためにその信号の増幅度（信号レベル）や位相を僅かでも変化させると、帯域は無限小ではなくなります。数学的に書けば 無限小÷無限小=無限大 になるということが書いてあるのです。それが誤りであることは高校生でも理解できるでしょう？そういうことで無限の情報を送ることは不可能なのです。 (2)情報理論について ハートレーは偉大な電気技術者で無線の神様です。なぜハートレーやシャノンが、デジタル回路が存在しない第二次大戦前にこういう理論を打ち立てたのかというと、無線通信の世界は デジタル → アナログ → デジタル と変遷してきたためです。
その他の回答 (2)
- 正親町（@Ohgimachi）
- ベストアンサー率43% (110/252)
＃１の補足です。 >誤り訂正アルゴリズムであるということは、0.919Mbps未満に下げても、誤りは起きる >けど、再送しなくてもよいほど誤りは小さく訂正できるということですか？ 現実に訂正できるかどうかではなくて、理論的な限界、つまり上限値を示しているのです。たぶん勘違いされているのは、シャノンの情報エントロピーの理論（参照資料）を誤り無く情報を送ることができる速度と考えているのではないのでしょうか？ 例えば、チェックサムのついた１０Kbitのパケットを１秒間に１００個送ったとします。そのとき９２個のパケットがしか正しく受信できなかった場合の速度は0.92Mbps。またに誤り訂正符号を付けてパケットのサイズを１０.８Kbitにして１秒間に９２個送ったとしても、0.92Mbsの通信速度になります。すなわち誤り訂正に関係なく、単位時間にどれだけの情報量を送受信できるのか？ということなのです。 例えば地デジのようなシステムを考えると、誤り訂正を増やせば画像の圧縮率を上げなければならず、減らせば画像の表示が乱れる確率が高くなり、いずれにしても画質は劣化します。すなわちエラーによる通信容量の低下は画質の劣化というように考えればよろしいかと思います。 >現実の通信を考える場合、C=C0-C0(-plogp-(1-p)log(1-p))ではなく、C=Blog(1+S/N)で考えなくてはダメなのでしょうか？ノイズの総電力Nや信号の総電力Sがどれほどがよくわからないのですが・・・。 現実の通信路ではほとんどそうですね。ただし、規格の同軸ケーブルやシールドケーブルはS/Nがほぼ固定なので、設計はわりと簡単です（電圧とかパワーに規格があるため）。ただし粗悪品のケーブル（特にコネクタ）を使用すると著しく低下する場合があるので要注意です。また低速の光ケーブルはエラーがほぼ０と考えてよいと思います。難しいのは無線・・・
- 正親町（@Ohgimachi）
- ベストアンサー率43% (110/252)
＃１です。あとから読むと書き方が悪かったので訂正させていただきます。 >ハートレーの法則というのは、通信路（本来は無線）におけるノイズと情報伝達の誤り率に関する法則です。 >それがシャノンの情報理論と合体させたのが、シャノン＝ハートレーの定理なのです を ハートレーの法則というのは、通信路（本来は無線）におけるノイズと情報伝達の誤り率がない法則です。 それでシャノンの情報理論と合体させたのが、シャノン＝ハートレーの定理なのです と読み替えてください。すみませんでした。
関連するQ&A
- ピタゴラスの定理に興味のある方！！
ピタゴラスの定理に興味のある方！！ ピタゴラスの定理と言えば・・・。別名三平方の定理、鉤股弦の定理（←読めません・・・）ですね。 で、下の図の著各三角形のa＾２とｃ＾２を足すと、斜辺のc＾２になるってことですね。 で。。。 なんかこのWikipedia＞http://ja.wikipedia.org/wiki/%E3%83%94%E3%82%BF%E3%82%B4%E3%83%A9%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86にのっているヤツのほか、何か知識でもあればお願いします。 急がないのでごゆっくり。 で、あまり難しい言い方をされるとわかりません、 ちょっと位の用語とかはわかります。 でもまだ知識が薄い十二の少女です（笑）。 普通に言えばいいのに普通に出来なくってすいません。 こんな正直でない子供に教えてもなんの差し支えもないと言う人はお願いします。 では待ってます★ （関係ないですが、お母さんが黄色は目にいいといってました。）
- ベストアンサー
- 数学・算数
- 余弦定理が使えるか？
三角錐ＡＢＣＤにおいて、ＡＢ＝ＡＣ＝ＡＤ＝３、 ＢＣ＝ＣＤ＝ＤＢ＝２とする。また、辺ＢＣを１：３に内分する点をＥとする。 このとき、三角形ＡＤＥに対して次の問いに答えよ。 辺ＤＥ，ＡＥの長さを求めよ。 辺ＤＥは余弦定理で求めれるんですが 辺ＡＥが余弦定理でやっても求められません。 ＡＤＥを普通に６０度と考えて計算しているんですが もしかして６０度じゃなかったりしますか？ 回答お願いします。
- ベストアンサー
- 数学・算数
- パップスの中線定理（スチュワートの定理）、二等分線の定理
http://ja.wikipedia.org/wiki/%E4%B8%AD%E7%B7%9A によると、 三角形 ABC の3辺 BC,CA,AB の長さをそれぞれ a,b,c とし、頂点AとBCの中点を結ぶ中線の長さを m とすると、スチュワートの定理より以下の式が成り立つ。 4m^2+a^2=2(b^2+c^2) ∴m=√(2b^2+2c^2-a^2)/2 となることは分かります。次に、 三角形 ABC の3辺 BC,CA,AB の長さをそれぞれ a,b,c とし、頂角Aの二等分線とBCの交点を結ぶ線分の長さを n とするとき、この n をa,b,cのきれいな式で表したいのですが、どのような式になるのでしょうか？
- ベストアンサー
- 数学・算数
- シムソンの定理の証明
シムソンの定理の証明 ホームページ http://www004.upp.so-net.ne.jp/s_honma/ptolemaios/simson.htm の作成者に質問したかったのですが適当な所がみつからなかったのでここで質問します。 シムソンの定理 △ABCの外接円周上の点Pから BC、CA、AB に下ろした垂線の足を D、E、F とする。 このとき、3点 D、E、F は1直線上にある。 この直線のことを、シムソン線という。 (証明)4点 P、F、A、E は、同一円周上にあるので、∠PFE＝∠PAE … と左図と一緒に書かれていましたが、 左図では確かに ∠PFE＝∠PAE ですが 右図では4点 P、F、A、が 、同一円周上にあるにもかかわらず ∠PFE≠∠PAE となってしまい、この証明は誤りなのではないでしょうか? シムソンの定理は、 「A,B,C,P,が同一円周上の点で D,E,F が P から BC,CA,AB への垂点」 という条件で P,A,B,C の位置に関係なく成立することを 証明しなければ、証明とはいえないのではないでしょうか? 以下の証明の方がよいのではないでしょうか? △ABCの外接円周上の点Pから BC、CA、AB に下ろした垂線の足を D、E、F とする。 外接円の中心に 0 を対応させ 点 P に 1 を対応させて 外接円を単位円とする座標をいれて 点 A,B,C,D,E,F のそれぞれの位置の複素数を a,b,c,d,e,f とすると |a|=|b|=|c|=1 となるから 2d=b+c-bc+1 2e=c+a-ca+1 2f=a+b-ab+1 x~=(xの共役複素数) とすると 4((e-d)(f~-d~)-(e~-d~)(f-d)) =((a~b-ab~)(|c|^2-1)+(b~c-bc~)(|a|^2-1)+(ac~-ca~)(|b|^2-1) +a(|c|^2-|b|^2)+b(|a|^2-|c|^2)+c(|b|^2-|a|^2) +a~(|b|^2-|c|^2)+b~(|c|^2-|a|^2)+c~(|a|^2-|b|^2)) |a|=|b|=|c|=1 だから (e-d)(f~-d~)-(e~-d~)(f-d)=0 e-d と f-d の向きが等しいから 3点D,E,Fは1つの直線上にある
- 締切済み
- 数学・算数
- 中点連結定理をつかった証明
三角形ABCの辺BC、CA、ABの中点をそれぞれD、E、Fとする。三角形ABCの内部に点Oをとり、線分OA、OB、OCの中点をそれぞれP、Q、Rとするとき、3直線DP、EQ、FRは1点で交わることを証明せよという問題が出されたんですがどのように証明したらいいかよくわかりません。 絵を描いたら点OでDP、EQ、FRが１点で交わったんです。 これは中点連結定理を使うとできそうなんですが、wikipedia(http://ja.wikipedia.org/wiki/%E4%B8%AD%E7%82%B9%E9%80%A3%E7%B5%90%E5%AE%9A%E7%90%86 )で調べたけれどどのようにまとめて証明したらいいかわからないんです。 教えていただけないでしょうか？
- ベストアンサー
- 数学・算数
- トレミーの定理の一般化（不等式）＝オイラーの定理？
----- （一般の）四角形ABCDに対して、 AB・CD＋AD・BC ≧ AC・BD が成り立つという定理のことを ここ（↓）では、 http://izumi-math.jp/F_Nakamura/tolemy/tolemy.pdf オイラーの定理と言っています（P.2） ところが、 こちら（↓）では、 http://homepage3.nifty.com/sugaku/toremi.htm 最後にあるおまけのところ(3)で 「円周上の点をそのまま直線上に射影すると、・・・のようになり、 のようになり、これでもAB・CD＋BC・DA＝AC・BDが成り立ちます。 これをオイラーの定理というようです。」と言っています。 オイラーの定理にいろいろあるのは分かりますが（多面体定理など）、 同じトレミーの定理のところで２種類出てきているようでよくわかりません。 どういうことなのか、わかる方がいたら教えて下さい。
- 締切済み
- 数学・算数
- テイラー展開と一次近似での剰余項の違いの謎
ja.wikipedia.org/wiki/%E7%B7%9A%E5%9E%8B%E8%BF%91%E4%BC%BC と ja.wikipedia.org/wiki/%E3%83%86%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 を見比べて思ったのですが 関数f(x)の一次近似(n=1の場合のTaylor定理,つまりfが一階微分可能な時のTaylor展開)は f(x)=f(a)+f'(a)(x-a)+R_2 でこのR_2は R_2=f''(c)/2!(x-a)^2 …(*) となっているのですよね(∵Taylor定理)。 この剰余項には二階微分係数f''(c)が出てきてますが, 今,fは二階微分可能であるとは保証されてないのですよね。 従って,(*)とは書き表せないと思うのです。 しかし,Taylorの定理では剰余項は高階微分係数になっていて矛盾だと思うのですが, もしかして,fが一階微分可能で二階微分可能かは必ずしも保証されてないのであれば, fの一次近似式は f(x)=f(a)+f'(c)(x-a) ただし,c∈(a,x) となるのでしょうか? そして,ここではc=aではないので, f(x)≒f(a)+f'(a)(x-a) と書ける.. という解釈で正しいでしょうか? ja.wikipedia.org/wiki/%E7%B7%9A%E5%9E%8B%E8%BF%91%E4%BC%BC でのfは二階微分可能であることが暗黙に仮定されてるのでしょうか? すいません。分かりやすくおおしえください。
- 締切済み
- 数学・算数
- あまり知られていないらしい「定理」の名前（または発見者の名前）を知りたい
「メネラウスの定理」や「チェバの定理」に似ている， 次のような定理があります。 この定理の名前，もしくは発見者をご存じの方がいらっしゃいましたら， どうぞご教示ください。 ---- > 三角形ABCにおいて， > 直線BC上に点D，直線CA上に点E，直線AB上に点Fを， > 3直線AD,BE,CFが1点で交わるようにとり，その交点をPとする。 > このとき， > ・ Dが辺BCの内分点ならば， AP/PD ＝ AF/FB ＋ AE/EC 成り立つ。 > ・ Eが辺CAの内分点ならば， BP/PE ＝ BF/FA ＋ BD/DC 成り立つ。 > ・ Fが辺ABの内分点ならば， CP/PF ＝ CE/EA ＋ CD/DB 成り立つ。 ---- この定理は，「メネラウスの定理」から即座に導かれるのですが， 「チェバの定理」が使える三角形に対して， 「チェバの定理」とは異なる辺の比の関係を与えています。 なお，「内分点」という条件を「外分点」に変えた場合， 同じ関係式は成り立ちませんが，類似の関係式を作ることはできます。 図がないとわかりにくいかもしれません。 自分のサイトで恐縮ですが， http://www.geocities.jp/osaqmath/menelaus2006.html にある 「教材研究資料」（PDFファイル）の #37～#38ページ をご覧ください。 私は，清宮俊雄先生の著作「初等幾何の楽しみ」（日本評論社）の 131～132ページ を読んで，初めてこの定理を知りました。 しかし，他では一切見かけたことがない定理です。 この定理の名前，もしくは発見者をご存じの方がいらっしゃいましたら， どうぞご教示ください。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- チェバの定理の逆
定理の仮定の利用方法がわかりません。 △ABCの辺BC,CA,AB上にそれぞれ点P,Q,Rがあり、 (BP/PC)・(CQ/QA)・(AR/RB)＝1が成り立てば、3直線AP,BQ,CRは一点で交わる。 上記の証明 BQ,CRの交点をSとしASとBCの交点をP'として、P'とPと一致することをしるす。 チェバの定理により (BP'/P'C)・(CQ/QA)・(AR/RB)＝1 これと定理の仮定より (BP'/P'C)=(BP/PC)ゆえに、P'はPに一致し、3直線AP,BQ,CRは一点で交わる。 と教科書に書いてあるのですが、定理の仮定は、(BP/PC)・(CQ/QA)・(AR/RB)＝1 だと推測しました。しかし～成り立てば、と書いてある条件を、成り立つとして証明に使っていいのか疑問です。定理の仮定を使っていい理由を説明してください。お願いします。
- ベストアンサー
- 数学・算数
補足
回答ありがとうございます。 以下、わからない点を補足させてください。 >> 0.919Mbitに近いほど優れた誤り訂正のアルゴリズムである 誤り訂正アルゴリズムであるということは、0.919Mbps未満に下げても、誤りは起きる けど、再送しなくてもよいほど誤りは小さく訂正できるということですか？ >>…シャノン＝ハートレーの定理なのです。すなわち情報理論における数学的な通信量を、実際の情報の伝送路にはめこんだもの 現実の通信を考える場合、C=C0-C0(-plogp-(1-p)log(1-p))ではなく、C=Blog(1+S/N)で考えなくてはダメなのでしょうか？ノイズの総電力Nや信号の総電力Sがどれほどがよくわからないのですが・・・。