aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFranciszek Malinka <franciszek.malinka@gmail.com>2022-08-25 20:56:40 +0200
committerFranciszek Malinka <franciszek.malinka@gmail.com>2022-08-25 20:56:40 +0200
commit40dd0afc11bb5dfa08f64e9ff32ec6d9737f3440 (patch)
tree1985baca658ab1ab9663ae00a3edff50023a59ea
parent37bb95dea0ac896d9c409fe64f3c1ce99ca43bb2 (diff)
Vector spaces example finished
-rw-r--r--lic_malinka.pdfbin494752 -> 495682 bytes
-rw-r--r--sections/examples.tex13
2 files changed, 11 insertions, 2 deletions
diff --git a/lic_malinka.pdf b/lic_malinka.pdf
index ebe27fa..d0331e7 100644
--- a/lic_malinka.pdf
+++ b/lic_malinka.pdf
Binary files differ
diff --git a/sections/examples.tex b/sections/examples.tex
index 3d276ff..7bcdcb6 100644
--- a/sections/examples.tex
+++ b/sections/examples.tex
@@ -31,8 +31,17 @@
Vector spaces of the same dimension are isomorphic, thus it is obvious that
$\cV$ is essentially countable. Also $HP$ and $JEP$ are obvious, as we can
- always embed space with smaller dimension into the bigger one. Amalgamation
- works exactly the same. In fact, such amalgamation is indeed canonical.
+ always embed space with smaller dimension into the bigger one.
+
+ Amalgamation is a little more complex but still comes intuitively. Let $A$,
+ $B$ and $C$ be finitely dimensional vector spaces such that $C = A\cap B$.
+ Thus, we can write that $A = C\oplus C_A$ and $B = C\oplus C_B$. Then let
+ $D = C_A \oplus C \oplus C_B$ with embedding of $A$ and $B$ into $C_A\oplus C$
+ and $C_B\oplus C$ respectively. This is also canonical amalgamation.
+
+ The Fraïssé limit of $\cV$ is an $\omega$-dimensional vector space (which
+ is easy to see by Theorem \ref{theorem:fraisse_thm}). Hence we can conclude
+ that it has a generic automorphism.
Now we give some anti-examples: