File:Paradoxical decomposition F2.png

File:Paradoxical decomposition F2.svg is a vector version of this file. It should be used in place of this PNG file when not inferior. File:Paradoxical decomposition F2.png → File:Paradoxical decomposition F2.svg For more information, see Help:SVG. In other languages Alemannisch ∙ Bahasa Indonesia ∙ Bahasa Melayu ∙ British English ∙ català ∙ čeština ∙ dansk ∙ Deutsch ∙ eesti ∙ English ∙ español ∙ Esperanto ∙ euskara ∙ français ∙ Frysk ∙ galego ∙ hrvatski ∙ Ido ∙ italiano ∙ lietuvių ∙ magyar ∙ Nederlands ∙ norsk bokmål ∙ norsk nynorsk ∙ occitan ∙ Plattdüütsch ∙ polski ∙ português ∙ português do Brasil ∙ română ∙ Scots ∙ sicilianu ∙ slovenčina ∙ slovenščina ∙ suomi ∙ svenska ∙ Tiếng Việt ∙ Türkçe ∙ vèneto ∙ Ελληνικά ∙ беларуская (тарашкевіца) ∙ български ∙ македонски ∙ нохчийн ∙ русский ∙ српски / srpski ∙ татарча/tatarça ∙ українська ∙ ქართული ∙ հայերեն ∙ বাংলা ∙ தமிழ் ∙ മലയാളം ∙ ไทย ∙ 한국어 ∙ 日本語 ∙ 简体中文 ∙ 繁體中文 ∙ עברית ∙ العربية ∙ فارسی ∙ +/−

 

Summary[edit]

DescriptionParadoxical decomposition F2.png	English: Illustration for the paradoxical decomposition of ${\displaystyle F_{2}}$ used in the proof of the Banach-Tarski paradox.
Source	Own work, made using MetaPost program.
Author	David Benbennick
Permission (Reusing this file)	I, the copyright holder of this work, hereby publish it under the following licenses: Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. You are free: to share – to copy, distribute and transmit the work to remix – to adapt the work Under the following conditions: attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original. This licensing tag was added to this file as part of the GFDL licensing update.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue This file is licensed under the Creative Commons Attribution-Share Alike 2.0 Generic license. You are free: to share – to copy, distribute and transmit the work to remix – to adapt the work Under the following conditions: attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original. https://creativecommons.org/licenses/by-sa/2.0CC BY-SA 2.0 Creative Commons Attribution-Share Alike 2.0 truetrue This file is licensed under the Creative Commons Attribution-Share Alike 2.5 Generic license. You are free: to share – to copy, distribute and transmit the work to remix – to adapt the work Under the following conditions: attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original. https://creativecommons.org/licenses/by-sa/2.5CC BY-SA 2.5 Creative Commons Attribution-Share Alike 2.5 truetrue You may select the license of your choice.

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