Archivo:Paradoxical decomposition F2.png
Tamaño de esta previsualización: 623 × 599 píxeles. Otras resoluciones: 249 × 240 píxeles · 499 × 480 píxeles · 798 × 768 píxeles · 1064 × 1024 píxeles · 2129 × 2048 píxeles · 2977 × 2864 píxeles.
Ver la imagen en su resolución original (2977 × 2864 píxeles; tamaño de archivo: 104 kB; tipo MIME: image/png)
Este es un archivo de Wikimedia Commons, un depósito de contenido libre hospedado por la Fundación Wikimedia. Más abajo se reproduce su página de descripción con la información sobre su origen y licencia. |
File:Paradoxical decomposition F2.svg es una versión vectorial de este archivo. Debería usarse esa versión en lugar de este archivo PNG, cuando sea mejor.
File:Paradoxical decomposition F2.png → File:Paradoxical decomposition F2.svg
Para más información, lee Ayuda:SVG.
|
Resumen
DescripciónParadoxical decomposition F2.png |
English: Illustration for the paradoxical decomposition of used in the proof of the Banach-Tarski paradox. |
||||||||
Fuente | Trabajo propio, made using MetaPost program. | ||||||||
Autor | David Benbennick | ||||||||
Permiso (Reutilización de este archivo) |
Yo, titular de los derechos de autor de esta obra, la publico en los términos de las siguientes licencias:
Este archivo se encuentra bajo la licencia Creative Commons Genérica de Atribución/Compartir-Igual 2.0.
Este archivo se encuentra bajo la licencia Creative Commons Genérica de Atribución/Compartir-Igual 2.5.
Puedes usar la licencia que prefieras. |
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
Elementos representados en este archivo
representa a
Algún valor sin elemento de Wikidata
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
---|---|---|---|---|---|
actual | 07:22 27 ene 2011 | 2977 × 2864 (104 kB) | ChrstphrChvz | ImageOptim with PNGOUT | |
06:54 12 jun 2005 | 2977 × 2864 (121 kB) | Dbenbenn | higher resolution version, 2977x2864 | ||
04:30 13 dic 2004 | 514 × 494 (9 kB) | Dbenbenn | Illustration for the paradoxical decomposition of F_2 |
Usos del archivo
No hay páginas que enlacen a este archivo.
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en cs.wikipedia.org