Professional Documents
Culture Documents
napisał:
Michał Sywula
9 czerwca 2019
Nihil est sine ratione LATEX
1. Wstęp
Na gruncie arytmetyki — nauki o liczbach i zasadach działania na nich, przed-
stawione równanie oczywiście jest błędne.
Inaczej wygląda to samo równanie, kiedy uwzględnimy fakt, że cyfry i liczby
przedstawia się (obrazuje) w postaci figur geometrycznych, a figury geometryczne
to już nie jest domena arytmetyki, tylko geometrii — nauki o figurach, zależnoś-
ciach pomiędzy nimi oraz o zasadach rządzących ich przekształcaniem.
2. Geometria
1
Nihil est sine ratione LATEX
1. funkcja wzajemnie jednoznaczna (bijekcja) to funkcja (relacja) taka, w której każdemu elemen-
towi obrazu odpowiada dokładnie jeden element dziedziny. Innymi slowy każdy element dzie-
dziny musi być w relacji z dokładnie jednym elementem przeciwdziedziny i odwrotnie.
2. tu: dowolny wektor (zwykle swobodny)
2
Nihil est sine ratione LATEX
Zapis g ◦ f oznacza relację „po”, „w skutek”, „utworzony z” lub „dzięki” (eng. after, following,
composed, of ). Składanie funkcji jest podobne do implikacji: wartość (wyjście) funkcji wewnętrz-
nej f stanowi argument (wejście) funkcji zewnętrznej g.
3
Nihil est sine ratione LATEX
6. inwolucja to funkcja, która ma funkcję odwrotną równą jej samej. Równoważnie jest to taka
funkcja, która złożona5 sama ze sobą jest tożsamością4 . Trywializując, jest to funkcją „na sie-
bie” czyli zbioru w ten sam zbiór.
7. rzut prostokątny to odwzorowanie przestrzeni euklidesowej trójwymiarowej na daną płaszczy-
znę zwaną rzutnią, które każdemu punktowi przestrzeni przypisuje punkt na rzutni, przez który
przechodzi prosta prostopadła do rzutni i przechodząca przez dany punkt przestrzeni.
4
Nihil est sine ratione LATEX
5
Nihil est sine ratione LATEX
zwężającymi (kontrakcjami).
Transformując jakikolwiek dowolny, niepusty zbiór S zgodnie z regułą,
czyli tworząc ciąg zbiorów:
∪
przy S0 = S; Sk = ni=1 Fi (Sk−1 )
dla S∞ = limk→∞ Sk
8. obiekt samopodobny albo „nieskończenie złożony” to obiekt ukazujący coraz bardziej złożone
detale w dowolnie wielkim powiększeniu. Ze względu na olbrzymią różnorodność przykładów
unika się podawania ścisłej definicji i określa fraktal jako zbiór, który: 1) ma nietrywialną struk-
turę w każdej skali, 2) struktura ta nie daje się łatwo opisać w języku tradycyjnej geometrii eukli-
desowej, 3) jest samopodobny, jeśli nie w sensie dokładnym, to przybliżonym lub stochastycz-
nym, 4) jego wymiar Hausdorffa jest większy niż jego wymiar topologiczny, 5) ma względnie
prostą definicję rekurencyjną, 6) ma naturalny („poszarpany”, „kłębiasty” itp.) wygląd.
9. IFS (eng. iterated function systems) — system przekształceń iterowanych (system powtórzeń),
w wyniku którego otrzymujemy fraktal będący atraktorem tego sytemu.
6
Nihil est sine ratione LATEX
Fi a b c d e f p generowana część
f2 0.85 0.03 -0.03 0.85 0.00 1.60 0.85 sukcesywnie malejące listki
f3 0.15 0.24 -0.24 0.21 0.00 1.40 0.07 duże liście po lewej stronie
f4 -0.15 0.20 0.20 0.25 0.00 0.64 0.07 duże liście po prawej stronie
10. listingi do R oraz TikZ LuaLaTex umieszczono w załącznikach do tego dokumentu. Ciekawą,
interaktywną propozycję modelowania „liścia paproci” Barnsley'a przedstawia fern generator
na stronie https://www.chradams.co.uk/fern/maker.html.
7
Nihil est sine ratione LATEX
A′ B ′ = AB oraz gdzie
X ′ = f (X) oznacza obraz punktu X.
11. baza kanoniczna (baza standardowa, naturalna) — to zbiór wektorów jednostkowych przes-
trzeni euklidesowej wskazujących każdą z osi układu współrzędnych kartezjańskich. Bazą
standardową płaszczyzny euklidesowej są wektory ex = (1, 0) i ey = (0, 1), a bazą standar-
dową trójwymiarowej przestrzeni euklidesowej są wektory ex = (1, 0, 0), ey = (0, 1, 0) oraz
ez = (0, 0, 1). Wektory te wskazują odpowiednio kierunki osi x, y, z. Czasami wektory te ozna-
cza się daszkiem {êx , êy , êz }, aby uwypuklić fakt ich jednostkowości.
8
Nihil est sine ratione LATEX
12. przestrzeń metryczna to zbiór z zadaną na nim metryką, tj. funkcją, która określa odległość mię-
dzy każdą parą elementów tego zbioru. Przestrzenie metryczne tworzą najogólniejszą klasę
zbiorów, w których używa się pojęcia odległości wzorowanej na odległości znanej z przestrzeni
euklidesowych (prostej, płaszczyzny czy przestrzeni trójwymiarowej).
13. relacja leżenia między to określenie z geometrii uporządkowania, w której jedynymi pojęciami
pierwotnymi są punkty A, B, C oraz trzyargumentowa relacja leżenia między [ABC]. W geome-
trii tej pomija się pojęcie odległości (metryki). Geometria uporządkowania jest bazą dla m.in.
geometrii afinicznej.
9
Nihil est sine ratione LATEX
10
Nihil est sine ratione LATEX
3. Analiza teoretyczna
3.1. Zbiory
E — zbiór punktów płaszczyzny euklidesowej
F — zbiór punktów figury wyjściowej (tu: przedstawiającej liczbę 91 )
91
Z — zbiór punktów figury pożądanej (tu: przedstawiającej liczbę )
R — zbiór punktów płaszczyzny wyznaczonej przez prostokąt (rectangle)
C — zbiór punktów płaszczyzny wyznaczonych przez okrąg (circle)
F ⊂ E ⇔ F ⊆ E ∧ F ̸= E
(1)
F ⊆ E ⇔ ∀x ∈ F : x ∈ E
Z ⊂ E ⇔ Z ⊆ E ∧ Z ̸= E
(2)
Z ⊆ E ⇔ ∀x ∈ Z : x ∈ E
Podobne, równoważne zależności F , Z 7→ R, C | R, C 7→ E można okre-
ślić dla wszystkich wyżej określonych zbiorów — tu już skrótowo — w ten sposób:
F ⊂ R∧R ⊂ E ⇒ F ⊂ E
(3)
F ⊂ C ∧C ⊂ E ⇒ F ⊂ E
Z ⊂ R∧R ⊂ E ⇒ Z ⊂ E
(4)
F ⊂ C ∧C ⊂ E ⇒ Z ⊂ E
ale ewentualne posiłkowanie się zbiorami R i C byłoby tylko pozornym ułatwie-
niem, a w zasadzie ockhamowskim mnożeniem zbędnych bytów i niepotrzebnym
gmatwaniem zadania, gdyż zasady rządzące punktami oraz zbiorami punktów
płaszczyzny euklidesowej dotyczą w równym stopniu — niezależnie od sposobu
uporządkowania w podzbiory — wszystkich punktów i podzbiorów nieskończo-
nego nadzbioru E .
Dla nas zasadniczym pytaniem jest, czy w przestrzeni kartezjańskiej R2 :
k ⊆ F × Z zbiory F i Z są w relacji14 k i są bijekcyjne
Z≡F figury Z i F są tożsame (kongruentne) (5)
Z = f (F ) figura Z jest obrazem figury F
14. relacja — dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów. W tym przy-
padku jest to relacja dwuargumentowa (binarna) czyli relacja dwóch zbiorów.
Iloczyn kartezjański zbiorów X i Y to podzbiór k = X × Y := {(x, y) : x ∈ X ∧ y ∈ Y }.
11
Nihil est sine ratione LATEX
15. ciało zbiorów to rodzina F podzbiorów pewnego niepustego zbioru X spełniająca warunki:
1) zbiór pusty należy do F, 2) dopełnienie zbioru należącego do F należy do F, 3) suma
dwóch zbiorów należących do F należy do F.
16. przestrzeń unitarna — przestrzeń liniowa (wektorowa), w której zdefiniowano dodatkowo ilo-
czyn skalarny. Przestrzenie unitarne można traktować jako naturalne odpowiedniki prze-
strzeni euklidesowych, w których możliwe jest zdefiniowanie wielkości geometrycznych (bądź
ich uogólnienie), takich jak: 1) norma wektora (czyli długość wektora), 2) metryka (odległość
wektorów przestrzeni), 3) kąt między wektorami, 4) ortogonalność (prostopadłość) wektorów,
5) długości krzywych, pola powierzchni, objętości brył itd.
17. przestrzeń liniowa (wektorowa) — zbiór elementów nazywanych wektorami, w którym okre-
ślono dwa działania: dodawanie i skalowanie (mnożenie przez skalary) wektorów z ustalonego
ciała, przy czym spełnione muszą być aksjomaty: 1) wektory utożsamiane są odpowiednio
z uporządkowanymi parami lub trójkami liczb rzeczywistych, 2) wektory reprezentowane są
za pomocą wektorów geometrycznych, tj. posiadających kierunek, zwrot i wartość (zwykle
przedstawianych jako strzałki), 3) wektory są sumowane według reguły równoległoboku i mno-
żone przez skalary (skalar — odpowiednik liczby rzeczywistej).
Reguła równoległoboku — suma kwadratów długości czterech boków równoległoboku równa
jest sumie kwadratów długości dwóch przekątnych.
18. przekrój (część wspólna) — zbiór zawierający te i tylko te elementy, które należą jednocześnie
do obu (wszystkich) wybranych zbiorów. Część wspólną definiuje się także dla dowolnych nie-
pustych rodzin zbiorów.
suma zbiorów — zbiór złożony ze wszystkich elementów należących do któregokolwiek z su-
mowanych zbiorów i niezawierający innych elementów
19. zapis x k y oznacza że element x jest w relacji k z elementem y, bądź pomiędzy elementami
x i y zachodzi relacja k.
12
Nihil est sine ratione LATEX
20. porządek liniowy — porządek będący zarazem łańcuchem, czyli taki, w którym każde dwa ele-
menty rozpatrywanego zbioru są porównywalne.
21. zbiór dobrze uporządkowany to zbiór (P, ≼), który poza cechami porządku liniowego ma wła-
sność taką, że każdy niepusty podzbiór tego zbioru posiada element najmniejszy, czyli taki,
który jest mniejszy (lub równy) od każdego elementu zbioru: ∀y ∈ P : x ≼ y.
13
Nihil est sine ratione LATEX
l1 l1
Sl1
Sl2
l2 l2
. .
(a) Złożenie symetrii osiowych Sl2 ◦ Sl1 (b) Translacja Tv
y y
α
(0, 0) x x
. .
α
(c) Obrót O(0,0) o kąt α = 180° (d) Translacja Tv
14
Nihil est sine ratione LATEX
4. Analiza geometryczna
7
′
A′ = (x′, y ′)
x
6
4
r y′
3
A = (x, y)
2 x
δ r
1 y
α
−2 −1 P 1 2 3 4 5 6 7 8 9 x
−1
. −2
Rysunek 2: Obrót OPδ (A) punktu A = (x, y) o kąt skierowany3 δ wokół środka
obrotu P (0, 0).
15
Nihil est sine ratione LATEX
Ostatecznie z (14) i (11) otrzymujemy taką oto końcową postać twierdzenia do-
tyczącego obrotu punktu A o kąt skierowany3 δ wokół środka obrotu P :
dla P = A → OPδ (A) = A
dla P ̸= A → OPδ (A) = A′
jeśli A = (x, y)
to (A′ ) = (x cos δ − y sin δ, x sin δ + y cos δ)
Wnioski:
1 . Obrazem punktu A = (x, y) obróconego o kąt skierowany δ wokół środka
obrotu P (0, 0) jest punkt A′ = (x cos δ − y sin δ, x sin δ + y cos δ).
2 . Obrót punktu w układzie kartezjańskim nie zależy od promienia wiodącego r.
16
Nihil est sine ratione LATEX
5. Podsumowanie
Głównym zadaniem tej analizy było wykazanie, że istnieje, a nawet — co wy-
kazano — istnieją takie przekształcenia figur geometrycznych o dowolnym kształ-
cie, które zachowują ich kształt i spójność, a więc są w pełni bijekcyjne, izome-
tryczne i izomorficzne. Co więcej, wykazano, że istnieje w tym przypadku homo-
morfizm pomiędzy geometrią, topologia metryczną, algebrą wektorową i algebrą
zbiorów.
Wobec powyższego śmiało można powiedzieć, że choć arytmetycznie równa-
nie to jest nie do obrony, to jednak ze względu na jego wyjątkowość, a dokładnie
kształt figur reprezentujących arytmetycznie wadliwą liczbę 91 oraz prawdziwą
91
liczbę można to równanie, z oczywistymi zastrzeżeniami, uznać za poprawne.
Na koniec ciekawostka: w języku, który upowszechnił w średniowiecznej
Europie cyfry arabskie24 taka „sztuka”, jaką wyżej przedstawiono, byłaby niemoż-
liwa. Dlaczego? A oto, jak wygląda zapis tego działania w języku perskim:
24. arabski zapis cyfr (oraz system dziesiętny) ma swoje źródło w starożytnych Indiach. W śre-
dniowiecznej Europie został upowszechniony — wraz z zerem, ułamkami oraz funkcjami try-
gonometrycznymi sinus i tangens — przez Arabów, a dokładnie dzięki Algebrze perskiego ma-
tematyka i astronoma Muhammada ibn Musa al-Chuwarizmi. Wielkim propagatorem tego za-
pisu i tego systemu był włoski matematyk Leonardo Fibonacci.
Û Listing i źródła tego dokumentu umieszczono w załącznikach.
17