aziis98/tesi-triennale
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fixed a proof

Browse Source
This commit is contained in:
aziis98
2025-07-06 12:45:51 +02:00
parent 26fc1f769e
commit 0a13243240
4 changed files with 49 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
out/tesi-triennale.pdf
BIN
View File
Binary file not shown.
src/main.typ
+42 -12
View File
@@ -798,7 +798,9 @@ sempre con $delta = (a + a^(-1)) slash z - 1$.
#[
#set enum(numbering: "a)")
1. Se $K$ è composto da più componenti allora siano $p_1, ..., p_n$ dei punti di partenza direzionati su $K_1, ..., K_n$ e $overline(p)_i$ lo stesso punto di partenza $p_i$ con la direzione opposta su $K_i$. Sia $lambda(p_i)$ la sequenza di scambi di incroci di $K_i$ con $K - K_i$ tale che $hat(K)(lambda(p_i)) = K_i union.sq (K - K_i)$ tale che $K_i$ sia _sovrastante_ il resto delle componenti. A questo punto possiamo definire $kL_K$ come
1. #marker([iii.a)]) <kauffman-rec-multi-component>
Se $K$ è composto da più componenti allora siano $p_1, ..., p_n$ dei punti di partenza direzionati su $K_1, ..., K_n$ e $overline(p)_i$ lo stesso punto di partenza $p_i$ con la direzione opposta su $K_i$. Sia $lambda(p_i)$ la sequenza di scambi di incroci di $K_i$ con $K - K_i$ tale che $hat(K)(lambda(p_i)) = K_i union.sq (K - K_i)$ tale che $K_i$ sia _sovrastante_ il resto delle componenti. A questo punto possiamo definire $kL_K$ come
#[
#set text(size: 11pt)
@@ -806,21 +808,21 @@ sempre con $delta = (a + a^(-1)) slash z - 1$.
L_K (a, z) colon.eq
1 / (2n) [
sum_(i=1)^n sum_(q=p_i, overline(p)_i)
((-1)^(|lambda(q)|+1) d kL_(K_i) kL_(K - K_i) + z sum_K (lambda(q)))
((-1)^(abs(lambda(q))+1) d kL_(K_i) kL_(K - K_i) + z sum_K (lambda(q)))
]
$
]
2. Se $K$ è una singola componente allora sia $p$ un punto di partenza direzionato su $K$ e $overline(p)$ quello con direzione opposta. Sia $lambda(p)$ la sequenza di scambi di incroci che lo porta al nodo banale standard $hat(K)$ e definiamo
2. #marker([iii.b)]) <kauffman-rec-single-component> Se $K$ è una singola componente allora sia $p$ un punto di partenza direzionato su $K$ e $overline(p)$ quello con direzione opposta. Sia $lambda(p)$ la sequenza di scambi di incroci che lo porta al nodo banale standard $hat(K)$ e definiamo
#[
#set text(size: 11pt)
$
kL_K (a, z) colon.eq
L_K (a, z) colon.eq
1 / 2 [
sum_(q = p, overline(p))
((-1)^(|lambda(q)|+1) kL(hat(K)(lambda(q))) + z sum_K (lambda(q)))
((-1)^(abs(lambda(q))+1) kL(hat(K)(lambda(q))) + z sum_K (lambda(q)))
]
$
]
@@ -828,6 +830,8 @@ sempre con $delta = (a + a^(-1)) slash z - 1$.
== Dimostrazione buona definizione
Bla bla @kauffman-rec-single-component.
Per prima cosa osserviamo che dato che in ogni termine della definizione induttiva per $L_K$, quando questa dipende dalla scelta di un punto base sono presenti i termini per entrambe le direzioni; quindi ci basta dimostrare induttivamente che le definizioni non dipendono dalla scelta di punto base.
Nel corso della dimostrazione tutti gli argomenti per induzione si baseranno sul numero di incroci dei diagrammi di link. Ometteremo i casi base ovvero i controlli per diagrammi con pochi vertici che fanno partire l'induzione in quanto sono tutti facili da controllare.
@@ -1080,15 +1084,35 @@ $
]
#lemma[
Sia $K$ un diagramma di un nodo. Allora ii.b) non dipende dalla scelta di punto base e più precisamente vale
Sia $K$ un diagramma di un nodo. Allora @kauffman-rec-single-component non dipende dalla scelta di punto base. Inoltre se $p$ è un punto base direzionato su $K$ e $lambda(p)$ la sequenza di scambi determinata da $p$ allora
$
Omega_K(p) = (-1)^(abs(lambda(p)) + 1) L_hat(K)(p) + z sum_K (lambda(p))
Omega_K (p) = (-1)^(abs(lambda(p)) + 1) L_(hat(K)(p)) + z sum_K (lambda(p))
$
non dipende dalla scelta di punto base.
]
#proof[
Possiamo assumere che la sequenza di scambi determinata da $p$ sia etichetta $lambda = (n, dots, 0)$. Mostriamo l'indipendenza da punto base mostrando che possiamo scorrere $p$ nell'arco successivo al primo incrocio dopo $p$.
Possiamo assumere che la sequenza di scambi determinata da $p$ sia etichetta $lambda = (n, dots, 0)$, in questo modo
$
Omega_K (p) = (-1)^(n+1) L_(hat(K)(p)) + z sum_K (lambda(p))
$
Ricordiamo come era definito $L_K$ nel caso di una sola componente @kauffman-rec-single-component e notiamo quanto segue
$
L_K (a, z) &colon.eq 1 / 2 [
sum_(q = p, overline(p))
((-1)^(abs(lambda(q))+1) kL(hat(K)(lambda(q))) + z sum_K (lambda(q)))
] \
&= 1/2 (Omega_K (p) + Omega_K (overline(p)))
$
Dunque ci basta mostrare che $Omega_K (p)$ non dipenda dalla scelta di punto base.
Come in precedenza possiamo mostrarlo facendo scorrere $p$ nell'arco successivo al primo incrocio dopo $p$ (questo ci induce l'invarianza per permutazioni cicliche e ci permette di concludere).
Sia $i$ l'etichetta del primo incrocio dopo $p$. In $hat(K)(p)$ questo incrocio sarà sicuramente un sopra-incrocio in quanto $i$ è visitato per la prima volta essendo il primo incrocio dopo $p$. Invece in $K(p)$ può essere sia un sopra-incrocio che un sotto-incrocio, abbiamo quindi due casi:
@@ -1181,13 +1205,19 @@ $
]
#proof[
Mostriamo per induzione sul numero di incroci nel diagramma. Consideriamo i seguenti casi: #margin-note[ricontrollare tutta questa]
Mostriamo per induzione sul numero di incroci nel diagramma.
- Se $K$ ha una sola componente ed un incrocio $i$. Consideriamo $S_i K$, $E_i K$ e $e_i K$, scegliendo bene $p$ possiamo fare in modo che $i$ sia il primo incrocio nella sequenza di scambi. A questo punto otteniamo la tesi calcolando la differenza nelle espansioni di $Omega_K (p)$ e $Omega_(S_i K) (p)$.
1. Consideriamo i seguenti casi: #margin-note[ricontrollare tutta questa]
- Se $K$ ha più di una componente e $i$ è un incrocio di una componente con se stessa. In questo caso la tesi segue per dalla @kauffman-poly-def utilizzando per induzione il caso ii.a).
- Se $K$ ha una sola componente ed un incrocio $i$. Consideriamo $S_i K$, $E_i K$ e $e_i K$, scegliendo bene $p$ possiamo fare in modo che $i$ sia il primo incrocio nella sequenza di scambi. A questo punto otteniamo la tesi calcolando la differenza nelle espansioni di $Omega_K (p)$ e $Omega_(S_i K) (p)$.
- Se $K$ ha più di una componente e $i$ è un incrocio tra due componenti diverse allora per gli addendi che non intersecano nessuna delle due componenti possiamo procedere per induzione. Altrimenti possiamo scegliere un punto base appropriato e procedere per induzione.
- Se $K$ ha più di una componente e $i$ è un incrocio di una componente con se stessa. In questo caso la tesi segue per dalla @kauffman-poly-def utilizzando per induzione il caso ii.a).
- Se $K$ ha più di una componente e $i$ è un incrocio tra due componenti diverse allora per gli addendi che non intersecano nessuna delle due componenti possiamo procedere per induzione. Altrimenti possiamo scegliere un punto base appropriato e procedere per induzione.
2. La dimostrazione è analoga, basta osservare che possiamo sempre scegliere un punto base che non faccia comparire l'incrocio del ricciolo nella sequenza di scambi.
E questo conclude la dimostrazione del lemma.
]
#lemma[
src/prelude.typ
+3 -1
View File
@@ -140,4 +140,6 @@
$dots$
}))
} #h(0.125em)$
}
}
#let marker(content) = metadata(("marker", content))
src/theme.typ
+4 -2
View File
@@ -308,7 +308,7 @@
show ref: it => {
if it.element != none {
let el = it.element
if el.kind == "definition" or el.kind == "proposition" or el.kind == "lemma" or el.kind == "theorem" {
if el.func() == figure and (el.kind == "definition" or el.kind == "proposition" or el.kind == "lemma" or el.kind == "theorem") {
link(el.location(), {
if it.supplement != auto { it.supplement } else { el.supplement }
[ ]
@@ -317,8 +317,10 @@
numbering(el.numbering, ..el.counter.at(el.location())),
).join(".")
})
} else if el.func() == metadata and type(el.value) == array and el.value.at(0) == "marker" {
link(el.location(), el.value.at(1))
} else {
repr(el)
repr(it)
}
} else if it.citation != none {
it