Ta ilustracja ma także wersję wektorową („SVG”). Zaleca się wykorzystywanie w galeriach dostępnej wersji wektorowej zamiast obecnej. File:Paradoxical decomposition F2.png → File:Paradoxical decomposition F2.svg Więcej o grafice wektorowej przeczytasz w artykule Przenoszenie grafik Commons do formatu SVG. Dostępna jest także informacja o obsłudze grafik SVG przez MediaWiki. W innych językach Alemannisch ∙ العربية ∙ беларуская (тарашкевіца) ∙ български ∙ বাংলা ∙ català ∙ нохчийн ∙ čeština ∙ dansk ∙ Deutsch ∙ Ελληνικά ∙ English ∙ British English ∙ Esperanto ∙ español ∙ eesti ∙ euskara ∙ فارسی ∙ suomi ∙ français ∙ Frysk ∙ galego ∙ Alemannisch ∙ עברית ∙ हिन्दी ∙ hrvatski ∙ magyar ∙ հայերեն ∙ Bahasa Indonesia ∙ Ido ∙ italiano ∙ 日本語 ∙ ქართული ∙ 한국어 ∙ lietuvių ∙ македонски ∙ മലയാളം ∙ Bahasa Melayu ∙ မြန်မာဘာသာ ∙ norsk bokmål ∙ Plattdüütsch ∙ Nederlands ∙ norsk nynorsk ∙ norsk ∙ occitan ∙ polski ∙ prūsiskan ∙ português ∙ português do Brasil ∙ română ∙ русский ∙ sicilianu ∙ Scots ∙ slovenčina ∙ slovenščina ∙ српски / srpski ∙ svenska ∙ தமிழ் ∙ ไทย ∙ Türkçe ∙ татарча / tatarça ∙ українська ∙ vèneto ∙ Tiếng Việt ∙ 中文 ∙ 中文（中国大陆） ∙ 中文（简体） ∙ 中文（繁體） ∙ 中文（马来西亚） ∙ 中文（新加坡） ∙ 中文（臺灣） ∙ +/−

 

OpisParadoxical decomposition F2.png	English: Illustration for the paradoxical decomposition of ${\displaystyle F_{2}}$ used in the proof of the Banach-Tarski paradox.
Źródło	Praca własna, made using MetaPost program.
Autor	David Benbennick
Licencja (Ponowne użycie tego pliku)	Ja, właściciel praw autorskich do tego dzieła, udostępniam je na poniższych licencjach Udziela się zgody na kopiowanie, rozpowszechnianie oraz modyfikowanie tego dokumentu zgodnie z warunkami GNU Licencji Wolnej Dokumentacji, w wersji 1.2 lub nowszej opublikowanej przez Free Software Foundation; bez niezmiennych sekcji, bez treści umieszczonych na frontowej lub tylnej stronie okładki. Kopia licencji załączona jest w sekcji zatytułowanej GNU Licencja Wolnej Dokumentacji.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue Ten plik udostępniony jest na licencji Creative Commons Uznanie autorstwa – Na tych samych warunkach 3.0. Wolno: dzielić się – kopiować, rozpowszechniać, odtwarzać i wykonywać utwór modyfikować – tworzyć utwory zależne Na następujących warunkach: uznanie autorstwa – musisz określić autorstwo utworu, podać link do licencji, a także wskazać czy utwór został zmieniony. Możesz to zrobić w każdy rozsądny sposób, o ile nie będzie to sugerować, że licencjodawca popiera Ciebie lub Twoje użycie utworu. na tych samych warunkach – Jeśli zmienia się lub przekształca niniejszy utwór, lub tworzy inny na jego podstawie, można rozpowszechniać powstały w ten sposób nowy utwór tylko na podstawie tej samej lub podobnej licencji. Ten szablon został dodany jako element zmiany licencjonowania.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue Ten plik udostępniony jest na licencji Creative Commons Uznanie autorstwa – Na tych samych warunkach 2.0. Wolno: dzielić się – kopiować, rozpowszechniać, odtwarzać i wykonywać utwór modyfikować – tworzyć utwory zależne Na następujących warunkach: uznanie autorstwa – musisz określić autorstwo utworu, podać link do licencji, a także wskazać czy utwór został zmieniony. Możesz to zrobić w każdy rozsądny sposób, o ile nie będzie to sugerować, że licencjodawca popiera Ciebie lub Twoje użycie utworu. na tych samych warunkach – Jeśli zmienia się lub przekształca niniejszy utwór, lub tworzy inny na jego podstawie, można rozpowszechniać powstały w ten sposób nowy utwór tylko na podstawie tej samej lub podobnej licencji. https://creativecommons.org/licenses/by-sa/2.0CC BY-SA 2.0 Creative Commons Attribution-Share Alike 2.0 truetrue Ten plik udostępniony jest na licencji Creative Commons Uznanie autorstwa – Na tych samych warunkach 2.5. Wolno: dzielić się – kopiować, rozpowszechniać, odtwarzać i wykonywać utwór modyfikować – tworzyć utwory zależne Na następujących warunkach: uznanie autorstwa – musisz określić autorstwo utworu, podać link do licencji, a także wskazać czy utwór został zmieniony. Możesz to zrobić w każdy rozsądny sposób, o ile nie będzie to sugerować, że licencjodawca popiera Ciebie lub Twoje użycie utworu. na tych samych warunkach – Jeśli zmienia się lub przekształca niniejszy utwór, lub tworzy inny na jego podstawie, można rozpowszechniać powstały w ten sposób nowy utwór tylko na podstawie tej samej lub podobnej licencji. https://creativecommons.org/licenses/by-sa/2.5CC BY-SA 2.5 Creative Commons Attribution-Share Alike 2.5 truetrue Możesz wybrać, którą licencję chcesz zastosować.

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