K tomuto obrázku existuje vektorová verze (v SVG). Pokud je lepší, používejte raději tu. File:Paradoxical decomposition F2.png → File:Paradoxical decomposition F2.svg Podrobnější informace o vektorové grafice najdete na stránce Commons:Transition to SVG. Také si můžete přečíst informace o podpoře formátu SVG v MediaWiki. V jiných jazycích 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 ∙ українська ∙ ქართული ∙ հայերեն ∙ বাংলা ∙ தமிழ் ∙ മലയാളം ∙ ไทย ∙ 한국어 ∙ 日本語 ∙ 简体中文 ∙ 繁體中文 ∙ עברית ∙ العربية ∙ فارسی ∙ +/−

 

Popis

PopisParadoxical decomposition F2.png	English: Illustration for the paradoxical decomposition of ${\displaystyle F_{2}}$ used in the proof of the Banach-Tarski paradox.
Zdroj	Vlastní dílo, made using MetaPost program.
Autor	David Benbennick
Svolení (Užití tohoto souboru)	Já, držitel autorských práv k tomuto dílu, ho tímto zveřejňuji za podmínek následujících licencí: Tento dokument smí být kopírován, šířen nebo upravován podle podmínek Svobodné licence GNU pro dokumenty verze 1.2 nebo libovolné vyšší verze publikované nadací Free Software Foundation. Dokument nemá neměnné části ani texty na předním či zadním přebalu. Kopie textu licence je k dispozici v oddíle nazvaném GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue Tento soubor podléhá licenci Creative Commons Uveďte autora-Zachovejte licenci 3.0 Unported Dílo smíte: šířit – kopírovat, distribuovat a sdělovat veřejnosti upravovat – pozměňovat, doplňovat, využívat celé nebo částečně v jiných dílech Za těchto podmínek: uveďte autora – Máte povinnost uvést autorství, poskytnout odkaz na licenci a uvést, pokud jste provedli změny. Toho můžete docílit jakýmkoli rozumným způsobem, avšak ne způsobem naznačujícím, že by poskytovatel licence schvaloval nebo podporoval vás nebo vaše užití díla. zachovejte licenci – Pokud tento materiál jakkoliv upravíte, přepracujete nebo použijete ve svém díle, musíte své příspěvky šířit pod stejnou nebo slučitelnou licencí jako originál. Tato licenční šablona byla k tomuto souboru přidána v rámci změny licencování.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue Tento soubor podléhá licenci Creative Commons Uveďte autora-Zachovejte licenci 2.0 Generic Dílo smíte: šířit – kopírovat, distribuovat a sdělovat veřejnosti upravovat – pozměňovat, doplňovat, využívat celé nebo částečně v jiných dílech Za těchto podmínek: uveďte autora – Máte povinnost uvést autorství, poskytnout odkaz na licenci a uvést, pokud jste provedli změny. Toho můžete docílit jakýmkoli rozumným způsobem, avšak ne způsobem naznačujícím, že by poskytovatel licence schvaloval nebo podporoval vás nebo vaše užití díla. zachovejte licenci – Pokud tento materiál jakkoliv upravíte, přepracujete nebo použijete ve svém díle, musíte své příspěvky šířit pod stejnou nebo slučitelnou licencí jako originál. https://creativecommons.org/licenses/by-sa/2.0CC BY-SA 2.0 Creative Commons Attribution-Share Alike 2.0 truetrue Tento soubor podléhá licenci Creative Commons Uveďte autora-Zachovejte licenci 2.5 Generic Dílo smíte: šířit – kopírovat, distribuovat a sdělovat veřejnosti upravovat – pozměňovat, doplňovat, využívat celé nebo částečně v jiných dílech Za těchto podmínek: uveďte autora – Máte povinnost uvést autorství, poskytnout odkaz na licenci a uvést, pokud jste provedli změny. Toho můžete docílit jakýmkoli rozumným způsobem, avšak ne způsobem naznačujícím, že by poskytovatel licence schvaloval nebo podporoval vás nebo vaše užití díla. zachovejte licenci – Pokud tento materiál jakkoliv upravíte, přepracujete nebo použijete ve svém díle, musíte své příspěvky šířit pod stejnou nebo slučitelnou licencí jako originál. https://creativecommons.org/licenses/by-sa/2.5CC BY-SA 2.5 Creative Commons Attribution-Share Alike 2.5 truetrue Můžete si zvolit libovolnou z těchto licencí.

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