ファイル:Paradoxical decomposition F2.png
ページのコンテンツが他言語でサポートされていません。
表示
このプレビューのサイズ: 623 × 599 ピクセル。 その他の解像度: 249 × 240 ピクセル | 499 × 480 ピクセル | 798 × 768 ピクセル | 1,064 × 1,024 ピクセル | 2,129 × 2,048 ピクセル | 2,977 × 2,864 ピクセル。
元のファイル (2,977 × 2,864 ピクセル、ファイルサイズ: 104キロバイト、MIME タイプ: image/png)
ウィキメディア・コモンズのファイルページにある説明を、以下に表示します。
|
このファイルのベクター画像 (SVG) が利用できます。 使う目的に対し、元画像よりもSVGがより優れている場合、SVG画像を使用して下さい。
File:Paradoxical decomposition F2.png → File:Paradoxical decomposition F2.svg
|
概要
解説Paradoxical decomposition F2.png |
English: Illustration for the paradoxical decomposition of used in the proof of the Banach-Tarski paradox. |
||||||||
原典 | 投稿者自身による著作物, made using MetaPost program. | ||||||||
作者 | David Benbennick | ||||||||
許可 (ファイルの再利用) |
この作品の著作権者である私は、この作品を以下のライセンスで提供します。
このファイルはクリエイティブ・コモンズ 表示-継承 2.0 一般ライセンスのもとに利用を許諾されています。
このファイルはクリエイティブ・コモンズ 表示-継承 2.5 一般ライセンスのもとに利用を許諾されています。
あなたは上記のライセンスから、どれか一つ以上を選択できます。 |
Linethickness = 1pt; beginfig(1); recursion_depth := 6; const := 2.2; numeric length; length := 1.3in / (const**recursion_depth); pickup pencircle scaled Linethickness; picture p, q, r; for i = 1 upto recursion_depth - 2: draw (0,0) -- (length,0); draw (0,-length) -- (0,length); length := length * const; currentpicture := currentpicture shifted (length,0); p := currentpicture rotated 90; q := p yscaled -1; addto currentpicture also p; addto currentpicture also q; endfor; draw (0,0) -- (length,0); draw (0,-length) -- (0,length); length := length * const; currentpicture := currentpicture shifted (length,0); p := currentpicture rotated 90; q := p yscaled -1; r := currentpicture xscaled -1; addto currentpicture also p; addto currentpicture also q; addto currentpicture also r; draw (-length,0) -- (length,0); draw (0,-length) -- (0,length); dotlabel.urt(btex$e$etex, (0,0)); dotlabel.ulft(btex$a$etex, (length,0)); dotlabel.lrt(btex$b$etex, (0,length)); pair P, Q, R; P := (-0.5length, 0.5length); Q := (-length, 0.9length); draw P .. Q .. (-2length,0) .. Q yscaled -1 .. P yscaled -1 .. cycle withcolor red; label.top(btex$S(a^{-1})$etex, (-1.2length, 0.9length)) withcolor red; Q := (length, length); R := (0, 2length); draw P xscaled -1 --- Q .. R .. (-2.2length, 0) .. R yscaled -1 .. Q yscaled -1 --- P scaled -1 .. cycle withcolor blue; label.rt(btex$aS(a^{-1})$etex, (1.1length,1.1length)) withcolor blue; currentpicture := currentpicture shifted (10cm,10cm); endfig; end;
I saved the above as Paradoxical_decomposition_F2.mp, and the following LaTeX program as Paradoxical_decomposition_F2.tex:
%&latex \documentclass[12pt]{article} \usepackage{graphicx} \pagestyle{empty} \begin{document} \includegraphics{Paradoxical_decomposition_F2.1} \end{document}
I then ran the following commands:
mpost Paradoxical_decomposition_F2 tex Paradoxical_decomposition_F2 dvips -mode ljfzzz -D 1200 Paradoxical_decomposition_F2 -o convert -density 1200 Paradoxical_decomposition_F2.ps Paradoxical_decomposition_F2.pnm pnmcrop Paradoxical_decomposition_F2.pnm | pnmtopng > Paradoxical_decomposition_F2.png advpng -z4 Paradoxical_decomposition_F2.png
このファイルに描写されている項目
題材
ウィキデータ項目がない値
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2011年1月27日 (木) 07:22 | 2,977 × 2,864 (104キロバイト) | ChrstphrChvz | ImageOptim with PNGOUT | |
2005年6月12日 (日) 06:54 | 2,977 × 2,864 (121キロバイト) | Dbenbenn | higher resolution version, 2977x2864 | ||
2004年12月13日 (月) 04:30 | 514 × 494 (9キロバイト) | Dbenbenn | Illustration for the paradoxical decomposition of F_2 |
ファイルの使用状況
このファイルを使用しているページはありません。
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- cs.wikipedia.org での使用状況