Constructive Mayer-Vietoris Algorithm: Computing the Homology of Unions of Simplicial Complexes
|
|
- Βασιλική Γκόφας
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Constructive Mayer-Vietoris Algorithm: Computing the Homology of Unions of Simplicial Complexes Dobrina Boltcheva, Sara Merino Aceitunos, Jean-Claude Léon, Franck Hétroy To cite this version: Dobrina Boltcheva, Sara Merino Aceitunos, Jean-Claude Léon, Franck Hétroy. Constructive Mayer- Vietoris Algorithm: Computing the Homology of Unions of Simplicial Complexes. [Research Report] RR-7471, INRIA <inria > HAL Id: inria Submitted on 3 Dec 2010 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
2 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Constructive Mayer-Vietoris Algorithm: Computing the Homology of Unions of Simplicial Complexes Sara Merino Dobrina Boltcheva Jean-Claude Léon Franck Hétroy N 7471 December 2010 Thème NUM apport de recherche ISSN ISRN INRIA/RR FR+ENG
3
4 str t 2 r t r s r t t t 2 s 1 s r r r t é r étr 2 è 2stè s ér q s Pr t rt r r r s str t t s r s r r rt r s t t t r t t 2 r s 1 r t s ts s 1 s t s s str t rs t 2 r t r s 1 t s q s r t r t t 2 t s t t s ts s s s t r t rs t t st rts 2 s t t s 1 t s r s 1 s r t 2 s t t t t r r r t r t t t s s t 2 r t r s s q t s t r t s t 2 t t 1 2 r rs s t ttr t s t s 1 s r s t t ts ttr t s tt rs t rs ts r t rs 2 t 2 t s 1 s r t r t r t t t r s s t2 t 2 r s str t 2 2 r t r s 1 t s q s 1 r t r t rs t s r t r s r r rt r s r r t t r r st t t r tt r r r r s r r r s s P s s Unité de recherche INRIA Rhône-Alpes 655, avenue de l Europe, Montbonnot Saint Ismier (France) Téléphone : Télécopie
5 r t str t 2 r t r s 1 s s 1 és é s r rt s rés t s ét r 1 s à rt r s s s s s s 1 s ét st sé s r rs str t séq 1 t 2 r t r s q st t é r q r tt t tr r 1 s s t q s à rt r r s r t t r t rs t ét r é s r 1 s s s 1 s r sq s st s à r r ré t t s t r t r rt r é s t t t s séq 2 r t r s r r 1 t r s ré rs s s ttr ts q s s s s s 1 s ét r t t s s ttr ts q s r s tt ts t rs t é ér t rs t t êtr q é à t t t2 1 s s 1 s r été r été r t r t t s té t ts és str t séq 1 t 2 r t r s 1 s r t é ér t rs
6 str t 2 r t r s r t t ts tr t r t 1t 2 2 t 2 r t r tr t rt str t r r 1 s t s str t s 1 t r str t r t t s 1 s s 1 s 2 1 s 1 r s s 2 tt rs r t rs ss t s r 2 t t 1 t s q rt 1 t s q t q t t t 2 t t s t 1t s r t t r t Pr s t t
7 r t r s r t t t s s str t 2 str t ss r t t t tr t r t s t t s ss t 1 r t t t r t t r r t t t ts t r t s t r t s q r t s str t t r s r s r t s q s t s rt 1 t s q t s rt 1 t s q s s str t 2 r t r s r t r t r t st r t t t s s t t r t r t r t r s t r t Pr t rr t ss t r t
8 str t 2 r t r s r t s r t s t 1 t2 r s t 3 t s s t r r s 1 st s2 s t t t t r r r t 1 t str t t 1 t r r r t r t r t t t t s s 1 t s s r2 tr s r r r t rs t t r t t r r 1 Pr s t str t r r t t t Pr s t s t t r tt 1 st r t r 2 1
9 r t
10 str t 2 r t r s r t tr t r t 1t r s t r s rt r t t r r t r s r t t t r t st t t r s r t r tr ô s t t t r t r2 P r t r2 r r s t t s t Pr t r rt t r t 3 r 3 t 2 r t r t s t t r t r st s t ss 2 tr s r t r t t r rt r t r s t s t s s s t st 2 rt r s s s s 3 str s s r s t 2 r st rst t 2 r r q t 2 s r t r t t t r 1 s 1 t r é t r r s t t s r rt s t r s t r t t t 2 s 1 s r s 2 s t s t ts t ts t t r t P s r
11 r t r 1 s t r s t t s r r r s t s s 3 r 1 s r P 33 rs t2 t r t 2 rs t r t t t t r s s s r tt t s t s r r t s 2 t t s s tr t r s r r t r r tr s r t s s s t r t r s r t t r s r r t r t s r t s r r q t t r t t t r 2 s s s t r ts t ts s r 1 rt r r r s t s r t r 3 t ts t t r s r r s r t t tr s r s t t r r st 2 r t r 3 s s 1 s n 2 ts 2 r s t r s r t rs t s r t r s 2 s k [0, n] s r t t t tr 2 s t 1 t s t s r t rs r s tr s s r t rs s r r t t t t ts t 1 s t 2 r r t t t tr t 2 s s rr t s s s t 2 s r t s s 2 s s rr s r t s r r s s t s r t rs s t r r t t s 2 s t t 2 r s k s sts tr k 2 s r t t r s 2 (k + 1) s 1 s t k th tt r s s t r ss s s tr t k 2 s r r s t t k 2 s t s ss s r r t rs 3 t 2 s t t s 1 t rs ts r2 rt r t r r t t r 2 r s 1 s t R 3 s s s str s r 1 t rs ts r r t t t r s r k 2 s t t r t r s 2 t s s t r s t 2 r s r t t s t t > 1 t ss t t rs t
12 str t 2 r t r s r t t 2 r t r 2 1 ts t t r str t r t s 1 s r r t s t r t r t st s t r t s t s s s s s r 2 s t s r t s t t r tr s ss r r t s r t rs tt rs t rs ts r t rs r t tr s s s t s t r r r t t r t s s ss t r r t r tr 1 t s r s r2 t t t t tt rs t t rs ts t t r t s tr t r2 r t s r t r t t s s ss t 1 r ss t r t rs t 2 r s t t t s 1 t t s r t s t r t 2 2 s r 2 s 1 s t s s str r t ts r s r 2 t t s 3 t tr s t 1 t2 t r t r t st r t r t s s r 1 t2 t t 2 r s t 2 r r t 2 s s 1 s r r r t s s 2 t r2 r s 1 s t t r 2 t ss r t s 2 t t t s t r q t t r r s t ss r t rs r t r t t r t r t rs Z s s q r s t 3 t s r t 2 rs tr2 t r t r 2 t r 3 t t str t t tr s s 2 t r t r r st t s t r t t s r str t t t2 t t s t ttr t s r t 2 t r r r 2 r s rst 2 r s t t 3 t t t r t r t t s r r st st t 3 t s r t s rs t r tr s t t r t r t rs r r s t r st t s s r r t t t s t r s 2 t r r t r t r t r t t t rs ts s st t t s str t 2 t r t s r st t t t r s 1 s rt r st 2 s rr t r t t s t t t r t t rt r t 1t 2 r t r s r t s t t t r t rs ts r t t2 s t 2 t t r t t t s s t s s t r t r t r t 2 r s t t 1 t s r t t s 2 t s t 2 r r t s r ss P P + s r s 2 st t t t 1t 1 s 2 r t s s r t 2 t t r t s s s
13 r t 2 t r s s r r t r r t 2 t t t r 2 s t r 3 t 2 s r t r t s s t s r s 2 s r s 1 s t s r str t s t st s s r 1 t r s st r t r t t tt rs s 1 s 2 t s r r str t t s s s s s t t s s r t tr 2 s t r t r t s tr s r s r r s s t r t s s tr t s r s rs st t 2 s rs t s s s t st s s tr t st s ttr t s r s r r t t r t st + rs st s s t s t t s s r s r t s r s t r st s s t t t t2 s ss 2 s s r s t t 3 s r t s t s 1 t t s r t rs r r t s 2 r t r s r r rs st t 2 t t t s r t t r s s s s s tr s s t 1 st t s s s s t r rst s ts t t t 1 t s r s r t 2 s t 2 t t t r t t t s t 2 t t 1 s t 2 t s s t s r t t t 2 t s t r 2 r t st r t t s t s r r ss tr t t s r s r r rt r s r t r t t t 2 r s 1 r t s ts s 1 s t s s str t rs t 2 r t r s 1 t s q s r t r t t 2 t s t t s ts s s s t r t rs t t st rts 2 s t t s 1 t s r s 1 s r t 2 s t t t t r r r t t t s s t 2 r t r s s q t s t r t s t 2 t t 1 2 r rs 2 r t ttr t s t s 1 s r s r t s str t r s t ❼ s t t s 1 t ts t t r t tr P
14 str t 2 r t r s r t ❼ t t ttr t s t s t t r r r t ❼ t t 2 t t 1 2 r t r t 2 t ttr t s t ts s t str t 2 r t r s s q ❼ t 2 t t 2 r t r ss r t ttr t s t s 1 s r r r t r s t r s t t ts ttr t s tt rs t r s ts r t rs 2 t 2 t s 1 s r t r t r t t t r s s t2 t t s r rt s ❼ r t rr t ss t r t s t ❼ 1 t str t r t s t t s 1 ❼ t t tr t t t t r t t s s s t ❼ t s r t t r ts s r r t 2 t r t t r s
15 r t ❼ s s t r t r t t r r t tr s r t t t s r t s t ❼ r tt 1 t st str t 2 r t r s r t 1 t t t t r t s s rr t 2 r t st t r r s r r t r t t P st t t rt str t r r rt s t r rts s 1 s rst rt r s r t ss ts r 2 t s t t r t t t r tr2 t s t tr t t s r t s 1 s t r rt s t t t t st 2 2 t ss t s t t 2 t r t t s s rt s r s t t t ts str t 2 t t s t str t 2 r t r s r t 2 t t r rt t r t s 1 t s t r r s 1 s s 1 s t r t r t t t t s t r rt ts r t r 2t t r r t t r s t t r t t r r s 2 r s t t r t s 2 rs s t t t t r r s
16 str t 2 r t r s r t P rt r
17
18 str t 2 r t r s r t t s rt t s t ts r r s t t q st s r s r tr t ❼ r t tr s s r 1 s t r ❼ s 1 s r t t t s s t ❼ tr s s s 1 s r t r r t s s t ❼ r str t r s t r s 1 r t s 1 s 1 s r r r t r t r ❼ r t r rt s st s 1 2 t r ❼ r t ss t s t t t s 2 1 t s q 2 s tr s q s t r t t r ❼ r t t t s t r s t s 1t s r t t t r t r ts t s t r r 2 rr st t t t r 2 1tr t r r r s ts s t ts t t s rt
19 r t Simplicial Maps Embedding Simplex vertex ordering relation interpretation between them built upon Oriented simplex GEOMETRICAL MODEL: SIMPLICIAL COMPLEX generalisation: vertex scheme ABSTRACT SIMPLICIAL COMPLEX Oriented simplicial complex combinatorial nature Boundary operator induce Chain complex morphism algebraic structure relation between chains Chain complex cycles boundary HOMOLOGY Mayer-Vietoris Long exact sequence Short exact sequence Spectral sequence Smith reduction Extension problem Computational complexity r r ts t r t
20 str t 2 r t r s r t t r 1 s t tr s s r t r s t r r s 1 s t s r t t t s 1 t 1 t {v 0, v 1,...,v n } tr 2 t s t ts R N t t r2 t n s 1 σ s 2 v s 1 0, v 1,...,v n t t s t ts x R N s t t x = n i=0 t ia i r n i=0 t i = 1 t i 0 r i t rt s r r r2 ❼ rt s σ ts v 0, v 1,...,v n t t s σ ❼ n s t s ❼ r s s 1 2 s 1 s 2 t s s t {v 0, v 1,...,v n } Pr r s t s σ r t r σ ts r2 σ t r r s σ t 1 s 1 s r t X R N s t s s tr R N s t t r2 s 1 X s X t rs t 2 t s s X s t t r t t s 2 t 1t q t t s 1 t X s s s s 1 2 t s s 1 s
21 r t r2 s 1 X s X r2 r st t s s X s t t r rs r 1 s 1 r tr2 1 t t t r st 1 s r t r t r r s t tr ts t t 2 s t 2 s 2 t t r 2 r t t s t s 1 t2 t t s r s 1 s s t t s 1 s r r t t r str t r s 1 t 1t t r t str t r s t 2 t s 1 s s 1 ss t t t ts ❼ 1 s t Y s 1 X t t t s s ts ts Y s s 1 ts ❼ P 2t X X s t s s t R N t t s t t s s X s 1 ts t r t 2 s s s R N X s r t t str t r 2 r s s t A X t s X 2 A σ s s σ r σ X 2t t s t s t t s t r str t r s 1 t s t r t s r str t r t t r str t r s r r t t s s t X Y s 1 s t f : X (0) Y (0) s t t r t rt s v 0,...,v n X s s 1 X tt s s r r t t t r r t s r t s
22 str t 2 r t r s r t t ts f(v 0 ),...,f(v n ) r rt s s 1 Y f 1t t t s g : X Y s t t x = n t i v i g(x) = i=0 n t i f(v i ) g t r s 2 t rt 1 f s t s s s s 1 s t s rt t s ❼ s s s r t t t r str t r s t t r t ss t t s 1 ❼ r t s r t s str t ts t r s t r t i=0 str t s 1 1 s r s 2 st 2 ts t r t r t s t t str t s 1 t r str t r s rt s r 2 t 2 1tr t r rst 2 str t str t r s t r r s ts r t t s 1 s s st t str t s 1 str t s 1 s t Σ t t2 s ts s t t A s t Σ s s r2 t2 s s t A t A Σ s simplex Σ ts s s ss t t t r ts ts t2 s s t A s A s Σ s t r st s ts s s r s t t r s s r st s rt 1 s t V Σ s t t t ts Σ s st t t t rt 1 v V t s 1 {v} Σ s t Σ t t s ts 1 s s 1 Σ str t s 1 r s 1 2 ts rt 1 s t rt 1 s X s s 1 t V t rt 1 s t X t R t t r s t t s s ts {a 0,...,a n } V s t t t rt s a 0,...,a n s s 1 X t R s t rt 1 s t R s rt r 1 str t s 1
23 r t t t s 1 s ❼ r2 str t s 1 Σ s s r t t rt 1 s s s 1 X ❼ s 1 s r r 2 s r 2 t r rt 1 s s r s r s str t s 1 s t tr r 3 t t str t s 1 Σ s s r t t rt 1 s t s 1 X X tr r 3 t Σ t s q 2 t r t r s r s r t r tr r r s t t str t s 1 t t s t s 1 r tr2 str t s 1 s 1 s t s r t t t s t r s tr s t 2 r s s 1 s t s s t t s 1 s r t s st t s 1 s r s r s 2 t s tr t s rs t t s t 2 t t t s t s s rr t r t st 2 s 1 s r 2 t s 2 t t s s s r r r s 2 ts tr s r rt s r t r t t t t s r 2 t R 3 s r t s t r s s t r tr2 r t 2 s r s t ts r 1 t 2 f : X Y t t s s X Y s f 2 s r s t X f(x) r f(x) rr s t
24 str t 2 r t r s r t s s t 2 r t r Y t t 2 t t f : X Y ts s tr t X s s s Y r t t r t t s t st 2 t s s r s r 2 r r t s r rt 2 t str t s s s r s 1 s r st t t s r t s s s q tr ts t t s r R 3 r t t 2 r t st s t s s 1 R 2 t X t t s r 2 t s t r s X = S 1 S 1 t 1t s X R 2 r r r t s S 1 S 1 R 2 r s 2 t t t t r s r s r t t s t t s s t t r r t s X s s r str t 2 t r s t t s r s t r t 1 t r s t r 1 s r t s r t t s sts t 2 r s t r t ts t t 2 t r r t ss 2s s t ts 2 s t s t t ts r t s t s t s r t t t s t t r s t r t t r s t s r t r s t r s 2 r t t t 2 t s t 2 r t r s t t s str t t r r s t t s s r r t t str t 2 t 2 r t s t s
25 r t
26 str t 2 r t r s r t t r 2 1 s 2t s s t s t r 2 t s s 1 r t t r s r t t r s 1 r str t r r t t s t s s s r str t r s 1 s t s t 1 t s s q (C k, d k ) k Z r k Z, C k s V r r k k Z, d k s r s d k : C k C k 1 r t k Z, d k d k+1 = 0 (C, d) :... d k 2 C k 2 d k 1 Ck 1 d k Ck d k+1 Ck+1 d k+2 Ck+2 d k+3... t s 1 t t (C, d) 1 s 1 D C s 1 s kt r s s r C k s r2 r t r s k s t r str t d k t ss t 1 t s 1 st r t t s 1 s st r r t rt s s q s s r t r t r d s t t k Z, r2 r t r d k d k+1 = 0
27 r t r t s 1 t r t s 1 t σ s 1 t r tr r str t t r r s ts rt 1 s t t q t t 2 r r t r 2 r t t dim(σ) > 0 t r r s t rt s σ t t t q ss s t s ss s s r t t σ σ s s 1 t t r s 2 ss 2 r t t σ r t s 1 s s 1 σ t t r t r t t σ r r s 1 r t s 1 s r2 r t r t k s t X s 1 k X s t c r t s t r t k s s X t t t rs s t t c(σ) = c(σ ) σ σ r s t r t t s r t s s 1 c(σ) = 0 r t t 2 2 r t k s s σ k s 2 t s s t r s t s t C p (X) s t r t s X k < 0 r k > X t C p (X) t t tr r 2 s t t t s t s2 σ t t t 2 s 1 r r t s 1 t s t t t t r2 k c rr s t t r t s 1 σ t t s t σ σ r s t r t t s t s s 1 t r t σ = σ s t s q t s σ σ r t r r t s t r2 s s r s r C k (X) s r t t s r C k (X) t 2 r t p s 1 s t rr s t r2 s s s s
28 str t 2 r t r s r t ts t r t r s r2 r t r t r2 r t r r s d k = C k (X) C k 1 (X) t r2 r t r σ = [v 0,...,v k ] s r t s 1 t k > 0 k d k σ = d k [v 0,...,v k ] = ( 1) i [v 0,...,v i 1, v i+1,...,v k ] i=0 t t t s C k (X) s t tr r r k < 0 t r t r d k s t tr r s r k 0 d k 1 d k = 0 r 3 r r s t t s str t r s t 1t r (C, d) : 0 0 C 0 d 1 C1 d 2... d n 1 Cn 1 d n Cn t t t n s t s t s 1 C k = 0 r k > n 1 r s s 1 r s s t t r t s t 1 s r s r s t r r str t r t 1 r s t C = {C k, d k } D = {D k, d k } t 1 s 1 r s f : C D s t r r s s f = {f k : C k D k } k s t s 2 t r t t r r2 k t r t f k 1 d k = d k f k (df = fd) s t s 1 s s 1 r s t t r r s t 1 s t 1 r s 2 s t f : X Y s v 0,...,v k r s 1 X t t ts f(v 0 ),...,f(v k ) s s 1 Y r s f # : C k (X) C k (Y ) 2 t r t s s s s { [f(v0 ),...,f(v f # ([v 0,...,v p ]) = p )] f(v 0 ),...,f(v p ) r st t; 0 otherwise. s s r 2 1 t rt s t 1 r ss [v 0,...,v k ] s t s t r t s t q t 2 r s {f # } s s t 1 r s 2 t s f
29 r t r s f # t s t t r r r t r d t r r f # s 1 r s 1 2 r t r s 1 r s s 2 r t r s r t s t 1 s (A B) A B (A B) 1 A B s s 1 s A B ts s r (σ, σ) t σ A σ B A B s r t r t s t t s 1 s A B A B r t s 1 s t 1 r s s r i = i A i B : (A B) A B σ (σ, σ) j = j A j B : A B (A B) (σ, σ) σ σ s r t t i s t s t t rs t A B A B 1 r s j t s r A B s (A B) 2 t r t t t s σ B t t t s σ A t t 2 t f, g : X Y s s s t t r k s r s s t s 2 t q t S : C k (X) C k+1 (Y ) ds + Sd = g # f # t s s t t 2 t f # g # t t 2 r t r t C = {C k, d k } D = {D k, d k } t 1 s t 2 r t r h : C D s t h = {h k : C k B k+1 } k t h : C D r s 2 t 2 s r s 2 r d k : C k (X) C k 1 (X) s t k 2 s t Z k (X) d k+1 : C k+1 (X) C k (X) s t k r s s t B k (X) r2 k + 1 s k 2 t s B k (X) Z k (X) H k (X) = Z k (X)/B k (X) t t kt 2 r X
30 str t 2 r t r s r t r r s t t 1 t r s 1 t r r r tt rs r t rs r 2 t s 1 s r s r t t s t t t s t r 1 s r 2s t s s r s r 2 str t s r 2 t s t s r 2 r r t q t t t t t 2 t r t t s t r H k t r r r t rs r {}}{{}}{ H k (X) = Z[γ 1 ]...Z[γ s ] Z/λ 1 Z[γ s+1 ]... Z/λ p Z[γ p ] r γ i r r r s t t t t ss q t tt rs t rs ts t 2 s r s r s {}}{{}}{ H k = Z...Z Z/λ 1 Z... Z/λ p Z s tt rs t s t r rt t 2 s r t t r k λ 1,...,λ p r t t rs ts r t 2 s t r r t s s t s H 0 (X) t s t r t ts t s X t tt r H 1 (X) s t r ss s tr t 2 t t t rr s s t s X tt r H 2 (X) t s t r tr t s r s t r s X H k (X) s t r r t t r k > 2 t rs t s r2 rt r t r r t t 2 σ s ss t t rs s r H k t t rs t λ > 1 t s t t σ s t r2 t λσ s r2 t s s t 2 t t r r t t p
31 r t s s 2 r t t rs s r t t s r t r 1 t tt r t r t s
32 str t 2 r t r s r t t r ss t s r 2 t t 1 t s q s s t s r t 2 s r rt 1 t s q t rt 1 t s q s rt 1 t s q s r 2 t r s A, B,C t s i : C B j : B A s t t i s t j s s r t i = kerj t s r r s t 2 r s r rt s 2 t 1t r t s 0 A j B i C 0 C = ker j A = r i = B/ i = B/C ( ) f : C C s t t s C C t t s r f := C / f
33 r t t s s t t B s 1t s A C r t r r s r ss 1t s s t s 1t s r t r t r t r t 1t s B t s A C r 1 1t s r s r t s rt 1 t s q 0 Z 2 B Z 2 0 t t r s i, j r t r r t ss 1t s s r B Z 2 Z 2 Z 4 r t s r t t 1 t s q s q... i k 1 i C k i k+1 i k+2 k 1 Ck Ck+1... s r s s s s 1 t i k = r i k 1 k r s rt 1 t s q 1 s 1 t s q t r 1 t s q r s rt 1 t s q s rt 1 t s q 1 s 1 t s q s... H k 1 (C ) j i 0 A B C 0 H k (A ) j H k (B ) r s t s t r s i H k (C ) H k+1 (A )... t r t s t r t t r s s t s t q t 2 r s s 1 2 r t r s s q s r s 1 X t t s 1 s A B t A B A B = X s r t s s i : A B A B j : A B A B s r t 1 t t s s 1 r s s t t t t s r t s rt 1 t s q j=j A j B i=i A i B 0 (A B) A B (A B) 0 2 t r t r s t s 1 t s q... H k 1 ((A B) ) H k ((A B) ) j H k (A B ) i H k ((A B) ) H k+1 ((A B) )...
34 str t 2 r t r s r t q t t t 2 rst t s s t s rt 1 t s q s r 1 t s q s r t 1 t s q t t s rt s q... i k 1 i C k i k+1 i k+2 k 1 Ck Ck+1... i 0 C k i k+1 k 1 Ck Ck+1 0 s t 1 t s t r s r s r i k+1 t t i k t s r t s r rt s st r t s s rt 1 t s q t 2 s q t t i 0 i k i k+1 k Ck Ck+1 / ker i k+1 0 i 0 ker i k i k+1 k 1 Ck r ik+2 0 r r s t r s s rr t t t t C k+1, C k+2 t t t r t C k 1, C k 2 t r i k 1 t r i k+2 t t r s 1 t s q t t r r s t C k t r s st 1t s r t t st s t r t q r t t 2 1 B s 1 t s q s s s s t t t r r t 1 s A C t 2 s rt 1 t s q j i 0 A B C 0 2 t t r s t t 1 t s q 1 sts... H k 1 (C ) }{{} known H k (A ) }{{} known j H k (B ) }{{} unknown i H k (C ) }{{} known H k+1 (A )... }{{} known s s t t H k (C ) H k (A ) r r k s rt 1 t s q s str t s 1 r s 2 s r t s t 1t s r t s s q s t H k (B ) t r r s s t t B s t 1 t t r t t s rt 1 t s q j i 0 A B C 0 r t t r s t s 2 ts t t r t 2 A r C r t t t 2 t t r t 1 s r
35 r t 1 t r t 2 t s r s 1 t s q t S n t n s r n > 1 S n s r t t n s 1 n s t t ts 2 t S+ n t s r r s r Sn S n ts r r s r s r t t S n = S+ n S n Sn 1 = S+ n S n n > 0 Sn + Sn r r t s t r r t 2 r tr t t 2 t s 2 t H k (S+) n = H k (S ) n = 0 k > 0 H k (S+) n = H k (S ) n = Z r k = 0 H 0 (S n ) = Z n > 0 s S n s t r n > 0 s r t s rt 1 t s q 2 r t r s 0 C(S n j ) C(S+) n C(S ) n i C(S n 1 ) 0 2 t t r t s t 1 t s q...h k 1 (C(S n +) C(S n ) ) }{{} known i H k 1 (C(S n 1 ) ) }{{} unknown t s r s st t t 0 H 0 (S n ) = Z j H 0 (C(S n +) C(S n ) ) = Z 2 j 0 i H k 1 (C(S n 1 ) ) 0 i H n 1 (C(S n 1 ) ) r r k > 1 t r s s rt 1 t s q 0 i H k 1 (C(S n 1 ) ) H k (C(S n ) ) }{{} unknown j H k (C(S n +) C(S n ) ) }{{} known i H 0 (C(S n 1 )) = Z H 1 (S n ) H k (C(S n ) ) H n (C(S n ) ) H k (C(S n ) ) j 0... j 0... j 0 t s s t t H k 1 (C(S n 1 ) ) = H k (C(S n ) ) 2 2 s t t t 2 t s q 0 H 0 (S n ) = Z j H 0 (C(S n +) C(S n ) ) = Z 2 s t t r i H 0 (C(S n 1 )) = Z H 1 (S n ) i = kerj = {(σ, σ), j((σ, σ) = σ σ = 0} = Z i... j 0 i... j 0 r r t s rt 1 t s q i = Z i H 0 (C(S n 1 )) = Z H 1 (S n j ) 0 t s s t 1t s r s tr H 1 (S n ) = 0 H k 1 (C(S n 1 ) ) = H k (C(S n ) ) r k > 1 H 1 (S n ) = 0 2 r n = 1 r 3 r n > 1 0 H 0 (S 1 ) = Z j H 0 (C(S 1 +) C(S 1 ) ) = Z 2 i H 0 (C(S 0 )) = Z 2 H 1 (S 1 ) j 0
36 str t 2 r t r s r t s t s rt 1 t s q t r r H 1 (S 1 ) = Z ker j = Z i H 0 (C(S 0 )) = Z 2 H n (C(S n ) ) = Z H 1 (S 1 ) j 0 t t s t 1t s r t q r t t 2 s t 1 t s q t t r s t r t t s t str t t t t 1t s r r 2 t 2 r t t r r s t s t 2 r t r r 2 t r t rs t s t s r2 s r t t 2 rt r s s t s t s t r r t r t 2 t r t rs r s r r t 1t s r t s t r t q s st s t t 1t rt t t r2 str t 2 s tr str t rs t t r t 1 t s q r s t s t t r t str t 2 r t r s r t t t r t Pr s t t t t s r t r t t 2 1 t t s t t 2 2 t s 1 X t t st t r t 2 s r t t s t tt rs t t rs ts t 2 r t rs r k t s t H k (X) = Z[γ 1 ]... Z[γ r ] Z/λ 1 Z[β 1 ]... Z/λ s Z[β s ] r r s t tt r λ 1,...,λ s r t t rs ts γ 1,...,γ r r r r s t t s r t rs t r rt H k t rt t ts Z β 1,...,β s r r r s t t r t rs t t rs rt H k t rt t ts Z/λ j Z r s λ j > 1 t s t r t t s r s t r 2 r s 1 t t t t rt r t s s 1 t
37 r t t t s t t r t 2 t q t t t t s s ker d k d k+1 t t s t 2 H k (X) = kerd k / d k+1 t t q t t H k st t r ❼ t ker d k r k ❼ t d k+1 r k r r t q t t t t t t t r t t r s 1 t 2 t s s d k+1 ker d k k r r d k+1 ker d k r 1 r ss s t t s s t r r t q t t r s r t t t t r t t r2 r t r d k s 1 r ss s tr 1 D k s t s 1 X r s k s s t t tr 1 N k t t str t r r 0 λ 0 N k = 0 0 Id λ r λ r λ = λ 1 s tr 1 t λ r,...,λ 1 t λ i Z λ i > 1 λ i s λ i+1 ) N k s s t t r r P t t t t t s 1 s t t 1 r ss r t s t s t s s t s r s t tr 1
38 str t 2 r t r s r t N k+1 r 1 r ss t s s t t s N k r k t t tr 1 s s P k : C k C k D k = (P k 1 )N k (P k ) 1 r t t t t t s tr s P k s 1 1 t r... X k 1 =[σ k 1 ] X k =[σ k ] X k+1 =[σ k+1 ]... P k 1... X k 1 D k P k D k+1 P k+1 X X N k k+1 k N k+1 r σ k = [σ1, k...,σl(k) k ] s t s X t s k 1 t t tt s 1 r ss t t s t t t 2 s t s t tr s t r r N k N k+1 t r t tt rs t 2 r t rs ❼ t s ker N k s q t t r p 3 r s N k s t t t s s r 1 r ss t s {γ k 1,...,γ k p } ❼ t s N k+1 s q t r q 3 r r s N k+1 s t t t r s t t λ > 1 ts r 1 r ss t s {γ k 1,...,γ k q } t r s t t t r 1 r ss t s {γ k q+1,...,γ k t } r r t tt r H k s t r p (t q) kern k = [γ k 1,...,γ k p]... N k+1 = [λ q γ k 1,...,λ 1 γ k q, γ k q+1,...,γ k t ] s r t t ker d k = kern k N k+1 = d k+1 r 1 r ss 1 t 2 t s s d k+1 ker d k r r t r r t q t t s tr H k = ker N k / N k+1 = Z/λ q Z[γ k 1]... Z/λ 1 Z[γ k q ] Z[γ k (t q+1)]...z[γ k p]
39 r t t t s r t 2 t t r t s s t 2 r r t r t 2 t s 1 rt t 2 t 1 t2 t s r t s t ss t s t r t rst 2 t r ss tr s r tr 1 t ts t r r r q r s t r t s 2 r r t s 1 s t t s s rt s t s t tr s r s t r2 s q t 2 t s t 2 s s s s t s 2 s rt t t r t t t t s t s s t t r t t t t r s r 2 t 1 st t 3 t s r r t t
40 str t 2 r t r s r t s rt r t t s r s t t r r t r t s t ts r s t t s rt t s 1 s 2 s t r rt2 s 1 s t t t t t s 1 ss t s t t t 2 s s r s t t t s t s t s t 1t rt str t rs t 1 t s q s r s t s t 1t s r r t t s 3 t tr s s r s r t r r t s t t t r t s r r t r 1 sts t r ss t t t t 2 s tr s q s t s t t r t 1 t s q t t s t r ss r t s t str t t t 1 r t t s tr s q s t s t s r t ts t r t s s r t r t s r s r t s tr s q s s t
41 r t
42 str t 2 r t r s r t P rt str t 2
43
44 str t 2 r t r s r t t s rt r s t t ts str t 2 s t str t 2 r t r s r t 2 t r t t r s t t s rt 1 t s q 2 r t r s t r s rt t t t s t ss t s t t t 2 s 1 1 t 1 t s q s t str t t t 1t s r t t s r t t t r t t t r t t t 2 2 t s 1 t ts t t 1 t2 s t 2 t s s 1 s t s rt s t t s str t 2 ❼ str t rs t 1 t s q s r s t s t 1 t s r s q t 2 str t rs t 2 r t r s 1 t s q s r s t s rt 1 t s q ❼ t t r t s 3 t tr s s 1 t t t t t t r t s t r r s ts t ts t s rt Study of the problem of constructivism in homology origin CONSTRUCTIVE HOMOLOGY main tools Reduction BPL theorem Cone construction used in Trivial reduction Homological Smith Reduction Reduction on short exact sequences (lemma 82) Cone of a reduction Cone reduction theorem Effective short exact sequence r r ts str t 2 P t r s P r t r t s t 2 r s t t r t t r
45 r t
46 str t 2 r t r s r t t r str t ss r str t 2 s r r t st 2 t str t ss r 2 str t ss 2 s ts r ts t t s t t s 1 st t q t rs t t r2 c C k s r2 c C k+1 s t t d k+1 (c ) = c s t r q r s t r t 1 st s c t st t t t c s r2 r t s t s t r q r t rt r c r r t t s ss r r t 1 st t c t t t t t t s q s t str t ss t t s t t t 2 t s t 1 t s q s t t r s t tr t t str t t t s 2 s 1 t s 1 ss 2 s s t 1 s r r 2 str t t r s r r r t str t 2 st s 2 ss 2 s t str t r s t ts t t str t str t ss r q r ts r t r t s t t r r 1 s r t t t r t r s t t 1t t r s r r t t s 2 t t t s 1 t s t t t t t r t r r rt t t t t 2 1 s t s t s t s r t rt r t str t 2 s r s t r t t t t s t r2 s r 2 t s s t t t t r r r rt s rst r r t t t2 r 2 rt s r t 2 s r t s t r r s r s t s st 2 t t t t r s r t t r t r ss s s
47 r t r s t t s r s t r t s r t t st r2 r s t t2 r r r t 2 s s t s t
48 str t 2 r t r s r t t r t t t tr t r t t s tr t t 2 s s t t s t s 1 X s t s t t r s 1 X 2 t s t t r s r t 2 X X X q t 2 ss 2 t s r t t s 2 s s t r r s t r tr t s s r r tr t t 2 r t r r r t r t s r t 2 t 1 t t s 1 r t 1 C s t r 1 C t q t 2 t s r r s t t C s r t t t s t 2 s r t 1t q st t s t r r t t r t 2 H k t s k r r t rs t r t s s rst t
49 r t t r t 2 s t r t rs t r rt H k t t ts Z t r t rs t t rs r H k t t ts Z/λZ r s t rs t λ > 1 t t r t rs ts t 2 s r s t t 2 s t r t rs t r rt H k r s t r t rs t t rs rt H k t s 1 C r 1 r ss s s r t 2 s t r s r 1 t s 2 t r2 r t r t r 2 t r2 r t r r 2 s r s r r s t 1 C t r 2 t s s s γ st t t 2 t 2 s t r s r2 r t r C t r2 r t r C r str t t t s s s γ t t r t r t s t 2 s r t 1t q st 2 H k s r s k H k = kerd k / d k+1 r d s t r2 r t r t r2 r r2 rt t s t r2 s σ t t σ B k+1 := d k+1 r s t t r2 t B k+1 t t s t r2 r2 s σ B k+1 := d k+1 s t t t 1 st σ λ Z, λ > 1, σ = λ σ t s s r t s t t ss t r2 t r r2 t q t t H k = kerd k / d k+1 s r r t 2 s t t r r s r r r t s t s sts t t 2 s r t s t t r r s t r r t q t t s t t H k t t r s s t t q t t 2 r r r t r s s t r s r 2 t t s s t s t s 2 1 C 2 t ts r s s r t t r s t t t 1t t rs s r t s t s t t t t t t rst t s r s t t r t s 2 r r rt t r t r t t s r s t r s t t s s t r r t t t
50 str t 2 r t r s r t r t ρ : Ĉ C s r ρ = g Ĉ f C h r Ĉ C r 1 s f g r 1 r s s h s t 2 r t r s r t s r s t s fg = id C gf + dh + hd = id bc fh = hg = hh = 0 r t s rt r 2 q t 1 Ĉ s C Pr s t t ρ : Ĉ C r t s r t s q t t s t Ĉ = A B C Ĉ C = g s s 1 Ĉ A B = kerf s s 1 Ĉ Ĉ A = kerf ker h s t r s 1 Ĉ Ĉ B = kerf ker d s s 1 Ĉ t r t s 1 r s s f g r rs s r s s t C C rr s d h r s r s s r s t r s t A B s r t t ❼ B k s t 2 s s t t B k d k ❼ t r 1 sts t t A k+1 B k t r d h ❼ t t C k s 2 C k t r t r s t r r r t s
51 r t r t r r 1 r 1 r t r s r t t t s tr 2 t t s t r t r t t t s t t r r t 1 C ts tr r t ρ s r t r t s s C ts f g r r s s t t2 h r 0 r s s Pr s t tr r t s r t Pr r 2 t s t t r t r t r t s q t str t 1t r s t rt r s r t t t s t t s 1 t t t tr t s s t t r 1 Ĉ t r 1 st s s t 2 s t r s r 1 r ss 1 t 2 t s ts r s 2 t r2 r t r
52 str t 2 r t r s r t 1 C ts s 1 r ss t s s γ st t t 2 t 2 s t r s r2 r t r C t r2 r t r Ĉ r str t t t s s s γ t s t r t s s ss t s t t t tr s (D k ) k=1,...,n 1 Ĉ r 1 r ss t r r N k r k s 1 r r ss t t s s t tr s N k r 1 r ss s r t s t tr s t r r N k N k+1 s t t {γ 1,...,γ l(k) } s t s r r tt t s N k t r s N k+1 s t t ❼ t 3 r s N k r 1 r ss t s s {γ 1,...,γ } ker N k = ker d k = [γ 1,...,γ ] ❼ t s N k t t 1 r 1 r ss t s s pb k = {pb k 1,...,pb k } t t t s t λ > 1 r 1 r ss t s s pw k = {pw k 1,...,pw k } N k = s t t s s ker d k = [γ 1,...,γ ] t t tr 1 N k+1 t t r s D k+1 t t 1 1 r ss t s s b = {b k 1,...,b k } t r s t λ > 1 1 r ss t s s w = {w1, k...,w } k t r st t s s ker d k s t s s c = {c k 1,...,c k } t r s r s 2 s r r s r r s t t r s t t s t s s r t 2 w s r s t s r t 2 b r r s t s r t 2 c r 2 s t s r t 2 pw r r r s 2 t s r t 2 pb r r r s 1 s ss t γ 1 γ 2 γ 3 γ 4 γ 5 γ 6 γ 7 γ 8 γ 9 γ N k+1 = γ γ γ γ γ γ γ γ γ γ t t t s N k t r s N k+1 r 1 r ss t s {γ 1,...,γ 10 }
53 r t ❼ s r t tr 1 N k+1 r s t t r 1 r ss t s {γ 3, γ 4, γ 5 } b = {γ 3, γ 4, γ 5 } r s t λ > 1 r r s t λ = 2,6 r s t 2 s r s r 1 r ss t s s {γ 1, γ 2 } w = {γ 1, γ 2 } ❼ s r tr 1 N k s N k t ker d k s r t 2 {γ 1,...,γ 7 } c s r 2 {γ 1,...,γ 7 }\(b w) = {γ 6, γ 7 } s N k t r 1 r ss t s s {γ 9, γ 10, γ 11 } pb = {γ 9, γ 10 } s D k t λ > 1 s 2 t λ = 3 pw = {γ 8 } s t pb b pw w c γ 9, γ 10 γ 3, γ 4, γ 5 γ 8 γ 1, γ 2 γ 6, γ 7 t rs ts r 2 6 r s rt s t s t s n t 1 r rt r s s st r r t ss t t s 2 t t t t r s s t s 0 t s n + 1 r t 3 r r s s r r t s s n t r r 2 2 s r r s r r s t t r s r r s t rt s s t r r t r r s r s r r r s r r 2 2 s r s r pb k s t t r r s b k t r s pw k t r r s w k t r s c k t 2 s 1 r t s t t t tr s D k t r r N k r 1 r ss t s s {w k,b k,c k,pw k,pb k } s t r t t t s s s s N k s t s rr s s tr 1 s t r s pb k b k 1 Id pw k w k 1 tr 1 t t t rs ts λ
54 str t 2 r t r s r t r t t tr 1 s s s w k b k c k pw k pb k w k λ 0 b k Id N k = c k pw k pb k s t str t 1 EC r t r C 2 r t 1 EC s r s r r r t r t 1 t q t 2 t t t ts w k,c k r s r s 2 s r s r t tr 1 s t t w k 1 s r t t pw k 2 t t rs ts s tr 1 λ t t s s tr 1 t r r s t s s pw k r k t t 2 s s t t r t s r r pb k b k s r t t ❼ t s r t 2 pb k s s r t t s r t 2 b k 1 s t t t2 s tr 1 r t s t ❼ t s s s w k,c k,pw k r s 2 t r2 r t r t t s s s s 2 t r2 r t r s t s s s w k 1,c k 1,pw k 1 r r s t 1 t 2 t t t t r s t t s t r 1 EC t t t s s s ❼ t s k t k EC s s EC k := [w k, c k, pw k ] ❼ t s k ts tr 1 s EN k := w k c k pw k w k λ c k pw k r t s t t r t t N k 1 N k = 0 k t r r EC s t 2 1
55 r t t t s t s t t r s t t s t t s s t s {w,b,c,pw,pb} t t s s t s {w k,c k,pw k } t t r t r t t t t t t s s s t st tr s (D k ) k=1,...,n 1 Ĉ r k r 1 t n tr s r t tr 1 D k t ts t r r N k str t t tr 1 s P k P 1 k s 1 1 P r r t t s ss t N k w k,b k,c k,pw k,pb k r k s t s ss t str t t tr s EN k r k 2 t t t s t r s t t s 1 C ts t t s ρ = h g Ĉ f EC r EC s t s t t t t EC = [w, c, pw ] f : Ĉ EC, f = {f k = r k (P k ) 1 = (P k ) 1 w k,c k,pw k} g : EC Ĉ, g = {g k = P k r T k = P k w k,c k,pw k} h : Ĉ Ĉ +1, h = {h k = P k hk (P k 1 ) 1 } s r t t t r str t s t tr s s t s s rr t t s s t s t r s s t s t rs s tr 1 r k s t r t t t s {w k,b k,c k,pw k,pb k } t t t {w k,c k,pw k } t s s s r t t s
56 str t 2 r t r s r t r (u) = { 0 u pb,b ; u u w,c,pw. 1t r 2 tr 1 r w k b k c k pw k pb k w k Id r k = c k 0 0 Id 0 0 pw k Id 0 r s h s 2 t tr 1 r s t t tr 1 r t h k = σ k 1 pb k P k pb b k 1 ( σk σ k 1 l(k 1) ) P 1 k 1 b k 1 σ k l(k) t w k 1 b k 1 c k 1 pw k 1 pb k 1 w k b k hk = c k pw k pb k 0 Id w 0 k c k pw k 1 w k Id 0 0 b k rk T s rt k = c k B 0 Id 0 C pw 0 0 Id A pb k 0 0 0
57 r t h k Ĉ k 1 =[σ k 1 1,...,σ k 1 l(k 1) ] D k P k 1 Ĉ k 1 =[w k 1,b k 1,c k 1,pw k 1,pb k 1 ] r T k 1 r k 1 h k+1 Ĉ k =[σ k 1,...,σk l(k) ] Ĉ k+1 =[σ k+1 h k N k P k 1 Ĉ k =[w k,b k,c k,pw k,pb k ] r T k r k D k+1 h k+1 N k+1 1,...,σ k+1 l(k+1) ] P k+1 Ĉ k+1 =[w k+1,b k+1,c k+1,pw k+1,pb k+1 ] EC k 1 =[w k 1,c k 1,pw k 1 ] EC k =[w k,c k,pw k ] EC k+1 =[w k+1,c k+1,pw k+1 ] EN k EN k+1 r T k+1 r k+1 r t t t t r t t t t t s t 2 r t ρ = (f, g,h) = Ĉ EC Pr s t t t s r t Pr ts r t t t s ts t r rt s t t r t Ĉ, EC r 1 s (Ĉ, d ) s t s s C k = [w k,c k,pw k ] d k = f k 1 dk g k 2 str t d k (EC k ) d k 1 EC k r k ts r2 r t r d s s s d k 1 d k = 0 r k EC, d s 1 f g r 1 r s s t t r t t f = {f k : Ĉk EC k } s r r s f k 1 d k = d k f k s 2 r g ❼ f s r r s s s s t r r s s r t r 2 1 r ss t s r t tr s f k = r k P 1 k ❼ s r t t Ĉ k 1 P k 1 D k Ĉ k P k Ĉ k 1 N k Ĉ k d k 1 d k = f k 2 b dk 1 g k 1 f k 1 b dk g k = f k 2 b dk 1 (P k 1 )r T k 1 r k 1(P k 1 ) 1 b d k g k = f k 2 b dk 1 b dk g k = 0
58 str t 2 r t r s r t t r t s 2 t N k = (P k 1 ) 1 D k P k s t s s s r s t t s 1 2 t r t t t 1t r t s r t r t t t2 Ĉ k 1 N k Ĉ k r k 1 EC k 1 EN k r k EC k s t t t t2 r t ts t s t s Ĉ t t r u {pb,b,pw,w,c } b 1 j u = pb j ; N (u) = λ i w 1 i u = pwi ; 0 s r. r 1 N (u) = N r 1 (u) = { λ i w 1 u = pw i ; 0 s r. { λ i w 1 i u = pw i ; 0 s r. r 1 N (u) = N r 1 (u) r t t s 2 r t2 t t t t2 t r f s 1 r s ❼ r t s r t t g s 1 r s s t r t t t t2 t r r T k 1 Ĉ k 1 N k Ĉ k r T k EC k 1 EN k EC k h s t 2 r t r s s tr 2 str t h = P h (P 1 ) 1 : Ĉ 1 Ĉ +1 Ĉ k 1 P k EC k 1 Ĉ k e hk+1 EC k P k+1
59 r t s r t s s r s t s fg = id EC s s r 2 tr t t s EC s t t r t s 2 2 g r 1 r ss t r t s 2 f tr s r t t t s r str t t t EC fg = r k (P 1 k )(P k)rk T = r k(rk T) = Id gf + dh + hd = id bc s r t s r h k Ĉ k 1 Ĉ k+1 P k 1 r T k 1 D k Ĉ k 1 e hk N k Ĉ k P k r k 1 r T k EC k 1 EN k Ĉ k h k+1 D k+1 e hk+1 Ĉ N k+1 k+1 r k r T k+1 P k+1 r k+1 EC k EC k+1 EN k+1 s r t t h k N k + N k+1 hk+1 + rk Tr k = Id bck s rk Tr k s t t2 r t r s w k,c k,pw k h k N k s t t t2 r pb k N k+1 hk+1 s t t2 r b k r r h k N k + N k+1 hk+1 + rk Tr k = Id pb k + Id b k + Id pwk,w k,c k = Id bck h k D k = P k hk (P k 1 ) 1 D k (1) = P k hk N k (P k ) 1 1 (2) D k+1 h k+1 = D k+1 P k+1 hk+1 (P k ) = P k N k+1 hk+1 (P k ) 1 g k f k = P k r T k r k(p k ) 1 (i+ii+iii) h k D k + D k+1 h k+1 + g k f k = P k ( h k N k + N k+1 hk+1 + rk T 1 (3) r k )(P k ) = Id bck t N k 2 s r t fh = hg = hh = 0
60 str t 2 r t r s r t f k+1 h k = f k+1 P k+1 hk+1 (P k ) 1 = r k+1 (P k+1 ) 1 P k+1 hk+1 (P k ) 1 1 (1) = r k+1 hk+1 (P k ) = 0 s h k+1 (P k ) 1 s ts [pb k+1 ] hg = 0 hh = 0 s h k+1 h k = (P k+1 hk+1 P 1 k )(P h k k P 1 k 1 ) = P h k+1 k+1 hk P 1 k 1 r 2 h k+1 hk = 0 t r r t t t ts t r t 1 s r s s f g t t t s t Ĉ t s EC t r s s t t f g t s t s 2 t r s f g st s s r s s t t r s t r t q t 2 Pr s t t s t t t s r s t t r s t t r r t t t s t t t t ρ : Ĉ C r t t s s t s t r t s r t s q t t s t Ĉ = A B C t t t Ĉ C = g s s 1 Ĉ Ĉ C = g = [w,c,pw ] A B = kerf s s 1 Ĉ A B = kerf = [pb,b ] Ĉ A = kerf ker h s t r s 1 Ĉ A = kerf ker h = [pb ] Ĉ B = kerf ker d s s 1 Ĉ t r t s B = kerf ker d = [b ] 1 r s s f g r rs s r s s t C C t 2 r r t t f k = P 1 k pw k,w k,c k g k = P k pw k,w k k,c t rst r str t
61 r t s t r s t s t s r 2 t r s t 2 r r s t r s t t2 C r C rr s d h r s r s s r s t r s t A B s s t t t σ B 2 h s r r s σ 2 s t t 2 h s t 2 r t r 2s r2 s r r t t t t s t 1 t s q t 2 r s ts 1t s s r s t t r t r t t t 2 t r s s 2 t ss 2 s t str t s t t t r2 c C k s r2 z C k+1 s t t d k+1 (z) = c s t s t str t t s t t t z s t t t 2 r t r h t t r rt s t r t r2 c t z t t s t s s ss t t t t 2 t t s s r t 1 r s t s 1 X t s 1 s X = A B t A B t s r r t t r t t t s 1 s A B A B s 2 r t t ts s s 2 t t 2 t t t s 2 r r t t t A B (A B) t t t 2 r t 2 r t r s EA EB E(A B) s r t r
62 str t 2 r t r s r t t r s 1 s à B ss t t t s s EA EB t t s r 1 à B r r tr t s A B r s t 2 r 1 s ss t t t t s s EA EB E(A B) t r t r s 2 s 1tr r t t t 2 A B r t s s EA EB E(A B) s r t s t r A t t s s r2 v 1 v 2 B t t s r2 t t s t s s t s r 2 t r t s t t t r t r2 r t r t 2 h s s t s r t t t 2 t t 2 r t r t t t t r s t r t t t r r s t r r s r s t r st t s t str t rs t t r2 t s s t t r r2 s t r t s r Pr Pr s t s t r t s t ρ = (f, g,h) : C D ρ = (f, g, h ) : C D t r t s s r t s s r t r t ρ = (f, g, h ) : C C t f = f f g = gg h = h + gh f t r s t s 1 r s t r Pr C C r 2 2 t s s 1 s
63 r t f g r 1 r s s s t 2 r t s t 1 r s s h s s 2 t 2 r t r r t s ❼ f g = Id C f g = f fgg = f Id C g = f g = Id C ❼ g f + dh + h d = Id C g f +dh +h d = g(id C dh +h d)f +dh+hd+dgh f +gh fd = gf g(dh + h d)f + dh + hd + dgh f + gh fd = Id C ❼ f h = h g = h h = 0 f h = f f(h + gh f) = f (fh) + f (fg)h f = 0 + f Id C h f = 0 h g = (h + gh f)gg = (hg)g + gh (fg)g = 0 + gh (Id C )g = 0 h h = (h + gh f)(h + gh f) = hh + (hg)h f + gh (fh) + gh (fg)h f = 0 q r t s t t q r t s r str 2 q q r t s r str 2 q ǫ : C D t t 1 s C D s r r t s t C D t r t r 1 Ĉ ρ l ρ r ǫ = C Ĉ D 1 t q s r r 1 t 1t r t q lh C lg lf C rh rf rg r r 1 t t r t s t tr r t t r t r t s t t t s t t t q r s s t s str t r EC
64 str t 2 r t r s r t t r str t r t t t 2 t s 1 s A B A B t t t t 2 t X = A B t s t t 1 t 2 r t A B A B r r t 2 r r t t t 2 t s r r t 2 1 t 2 r t s t str t t s s t 2 r t A B A B s 1 r ss s r t r 1 r t q t t r r s t t 1 s t st 2 s s ts s t2 t r r t s t t r r t t t rs r t t 1ts t s t 2 r t t 2s s t s t s t r t t ts r rt s r t t t r t t t t s rt s q t t t 1t t t s r t t 2s s t s ts t r 1 t t tr s t r s t t t 2 t r s q t t X s s 1 t X s CX := (X I)/(X {0}) r I = [0,1] s rr s s t r t 2 r s X s t t s s s str t s t r rt s s s s tr 2 s r t t
65 r t t s tr t t t rt 1 t 2 t 2 s s t r2 s r t 2 t s s s s s tr t s r s r s s str t r t t t t s t s r t t s s r 1 t s 1 s X Y r r t 2 f : X Y r t s t s s f str t t s t C X,Y f r ss str t s r t t 2 r s X X [0,1] s t 1tr X {0} t t t t t CX s r X {1} t t t r s f : X {1} Y t t (x,1) f(x) s r t s t CX Y t 2 t (x,1) CX t f(x) Y r s t t s r ss s t s C X,Y f r s 2 t f : X Y s C X,Y f = Y f CX = Y ((X [0,1])/(X {0})) r CX s t X f r r s ts tt t Y X 1 t r t t t s (x,1) f(x) s t t t t st 2 t 2 t r s f : X Y st s t rr2 t r ❼ s r t f : X Y r t t t s 1 s ❼ str t C X,Y f t t f ❼ str t t 1 t (C X,Y f ) ❼ 2 t ts 2 H (C X,Y f ) s t r t t t 1 s X Y t 1 (C X,Y f ) t r s rs t s q st s t s t t t 1 s X Y r 1 r s f : X Y str t t 1 (C X,Y f ) r t 2 s 2 t s r t t t r rr t t r 2 s 1 s ❼ t 1 s X Y ss t t t t s 1 s X Y
66 str t 2 r t r s r t ❼ 1 r s f : X Y 2 t s f : X Y ❼ t t str t (C X,Y f ) t t s ts t ts 2 t s s t 1 (C X,Y f ) s str t r t 1 s X Y 1 r s f : X Y (C X,Y f ) s r s f s t Cone(f) r s t r s s t t t 1 s X Y 1 r s f : X Y t t r t s 1 s r s f 1 t Cone(f) = C t s C k := Y k X k 1 ts r2 r t r s [ ] DY f D C := 1 0 D X 1 ❼ t s t Y k X k 1 ts C k := Y k X k 1 r ts Y k r ts X k 1 r r s s t s ts Y k X k 1 r s r s s t s r 1 st s C k t r 2 s Y k s X k 1 t t t r s t t t s t s s s t t r t s C k s r s Y k X k 1 ts C k t 2 r s r s t 2 ❼ C k 2 s r t X k 1 r r s t Y k s r s t str t r r t t r s r t 2 r r t t t r 2 s X s r t s s X {1} t CX t s s 2 X s r σ X {1} t t s t t t t t t t rt 1 t t t σ C σ C s s r t σ s CX t s 2 s r X k 1 st X k s t 2 r s r t X t t s X k 1 rr s t s s k CX 1 t r s s 2 r t r s t s 1 s A B t r t rs t A B s r t t i : A B A B t s t s t s t A B t t s s
67 r t σ (σ, σ) s t s 1 r s i A i B : (A B) A B t Cone(i) = C s C k = (A k B k ) (A B) k 1 s s C k s σ A k σb k σa B k 1 t s t t s s A B A B r r r t r tr 1 1 r ss t s s s D Ak 0 i Ak 1 D k = 0 D Bk i Bk D (A B)k 1 s r t t i A i B r t tr s ss t t t r s s i A i B s t t t rt r s r s t t r A : 0 A 0 = [v 0, v 1, v 2 ] A 1 = [e 1, e 2, e 3 ] A 2 = [f] 0 B : 0 B 0 = [v 1, v 2, v 3 ] B 1 = [e 4, e 5 ] 0 (A B) : 0 (A B) 0 = [v 1, v 2 ] 0 t 1 st 2 t s 1 t tr s r e 1 e 2 e 3 v D1 A = v D2 A = v f e 1 1 e 2 1 e 3 1
68 str t 2 r t r s r t e 4 e 5 v D1 B = v v t Cone(i A i B ) s 0 A 0 B 0 A 1 B 1 (A B) 0 A 2 0 Cone(i A i B ) : 0 C 0 = [v 0, v 1, v 2 ] [v 1, v 2, v 3 ] C 1 = [e 1, e 2, e 3 ] [e 4, e 5 ] [v 1, v 2 ] C 2 = [f] 0 t tr s r e 1 e 2 e 3 e 4 e 5 v 1 v 2 v v D1 C v = v v v f e 1 1 e 2 1 e 3 1 D2 C = e 4 0 e 5 0 v 1 0 v 2 0
69 r t r t 1 t r r t s t t t 1 s C C t r s t r t s ρ = (f, g, h ) : C D ρ = (f, g,h) : C D s t t t r s φ : C C r t t s t s str t Cone(φ) t r t t s r t r t C C t r s s t s r t r t r t ρ = (f, g,h) : C D ρ = (f, g, h ) : C D t r t s φ : C C 1 r s t r s r t [ ] f fφh t f = [ 0 f ] g hφg g = [ 0 g ] h hφh h = 0 h ρ = (f, g, h ) : Cone(φ) Cone(fφg ) 1 r t 2 r t r s r t t 1t 2 r t r s t t s 1 X = A B s t s 1 s A B t t2 t rs t A B s r t r s i A i B : (A B) A B s r t t t s (A B) A B ρ A = (f A, g A, h A ) : A EA
70 str t 2 r t r s r t ρ B = (f B, g B, h B ) : B EB ρ A B : (f A B, g A B, h A B ) = (A B) E(A B) s r t t r A B t r t ρ A B = (f A f B, g A g B, h A h B ) : A B EA EB t 1t r i A i B (A B) A B g A B f A B E(A B) g A B f A B EA EB t r t s t t t r s r t ρ C = (f C, g C, h C ) : Cone(i A i B ) Cone((f A f B )(i A i B )g A B ) EC k := Cone((f A f B )(i A i B )g A B ) k = EA k EB k E(A B) k 1 t r r r t r r tr 1 r d ECk = [ ] deak d EBk (f A f B )(i A i B )g (A B) 0 d E(A B)k 1 ENk A 0 φ A k 1 D ECk = 0 ENk B φ B k ENk 1 A B φ A k = f A i A g A B = (r A k )(P A k ) 1 i A k (P A B k )(rk A B ) T φ B k s s 2 ia s t tr 1 r r s t t s (A B) A r s g t t s t 2 Cone(i A i B ) r t 2 Cone((f A f B )(i A i B )g A B ) s g = ( ) g (ga g B ) (h A h B )(i A i B )g A 0 h A i A g A B A B = 0 g 0 g B h B i B g A B A B 0 0 g A B
71 r t q s t r q r t φ : C C 1 r s t t 1 s r r t t s rs t Cone(φ) t s t r t t2 C lh Ĉ rh lg rf lf rg EC lh Ĉ rh lg rf lf C rg EC φ t q Cone(C φ C ) ρ l Cone(Ĉ ρr bφ Ĉ ) Cone(EC Eφ EC ) r s r t t t r t q t r t q s t r s t r r t t t r r t t r t s t r t r t r t r t s r s t t q s r t q e lh Cone( φ) frf elg lf e frg Cone(φ) Cone(Eφ) frh r φ = (lg) φ (lf ) Eφ = (rf) (lg) φ (lf ) (rg ) [ ] [ ] rg (rh) φ(rg rg = ) rf (rf) φ(rh rf 0 rg = ) 0 rf rh = [ ] rh (rh) φ(rh ) 0 (rh ) s 2 lg = [ ] lg (lh) φ(lg ) 0 lg lf = [ ] lf (lf) φ(lh ) 0 lf lh = [ ] lh (lh) φ(lh ) 0 (lh ) r 2s s s t t t s t 1 s r t
72 str t 2 r t r s r t t r t s rt 1 t s q r t t t ss 2 r t r s t s t r s t s rt 1 t s q t t r s k s t r s 1 t j A j B i A i B 0 (A B) k A k B k (A B) k 0 r t s s t s rt 1 t s q s t ss 2 r t r s 1 t s q s str t r t s t r t t 2 s t str t str t 2 t s t t s rt 1 t s q s 1 t s rt s q t t r r s s t t s rt 1 t s q t s rt 1 t s q 1 s s r 0 R ν j S ρ 0 i T r i j r 1 r s s ρ r tr t ν s t r r r s s s t s 2 ❼ ρi = Id T ❼ iρ + νj = id S ❼ jν = id R 1 2 r t r s s t s rt 1 t s q t s rt 1 t s q 2 r t r s s s 0 (A B) ν j ρ A B (A B) 0 i
73 r t t i = ia i B : (A B) A B σ (σ, σ) j = j A j B : A B (A B) (σ, σ) σ σ ν : (A B) A B σ (σ A, σ B + σ A B ) ρ : A B (A B) (σ, σ) σ A B Pr ts r t t t r rt s t t r s t s ❼ ρi = id (A B) ρ(i A i B )(σ) = ρ(σ, σ) = σ A B = σ = id A B (σ) ❼ iρ + νj = id (A B) s σ A σ B (i A i B )ρ(σ, σ) = ( σ A B, σ A B ) ν(j A j B )](σ, σ) = ν(σ σ) = ((σ σ) A, (σ σ) B + (σ σ) A B ) = (σ σ A, σ B + σ + σ B σ A B ) = (σ σ A, σ σ A B ) = (σ σ A B, σ σ A B ) = [(i A i B )ρ + ν(j A j B )](σ, σ) = (σ, σ) ❼ jν = id (A B) [(j A j B )ν](σ) = (j A j B )(σ A, σ B + σ A B ) = σ A + σ B σ A B = σ = id A B (σ) t s rt 1 t s q s 1t s t str t rs t 1 t s q t s t t r r t t s r r s r s t r t r s t 1 t s q 0 R ν j S ρ 0 i T r s r t ρ = (f, g,h) : Cone(i) R rt r r t r r r t r R 2 t s r t s 2 t r r r r t r d R R
74 str t 2 r t r s r t ❼ f = j ❼ h = ρ ❼ g = ν ρ d S ν t s 1 2 r t r s t 2 r t r s s t s t s s t str t r t ρ = (f, g,h) : Cone(i A i B ) (A B) t f = j A j B s s t t t 2 Cone(i A i B ) t t t 2 (A B) t s s t t t t t t 2 Cone(i A i B ) 2 t r s f = j A j B 0 (A B) ν j A j B ρ A B (A B) 0 i A i B
75 r t
76 str t 2 r t r s r t s rt t s rt s str t rs t 2 r t r s 1 t s q s t 1 t r t tr s t t 2 t 2 t t s r t t s s t str t 2 r t r s r t t s t r t r t s t ss 2 str t 2
77 r r r t t ts ss 2 rt str t 2 rt ZERMELO-FRAENKEL AXIOMS (non-constructive) Mayer-Vietoris Long exact sequence Short exact sequence Extension problem CLASSICAL HOMOLOGY methods of computing Spectral sequence Smith reduction Computational complexity based on reduces solves CONSTRUCTIVE VERSION OF CONSTRUCTIVE METHODS Trivial reduction Reduction Homological Smith Reduction Reduction on short exact sequences (lemma 82) one of the SES (short exact sequence) theorems CONSTRUCTIVE HOMOLOGY Cone of a reduction Effective short exact sequence Cone construction Cone reduction theorem used in
78 str t 2 r t r s r t P rt str t 2 r t r s r t
79
80 str t 2 r t r s r t t r r t r t r r r t 1 t str t 2 r t r s r t rst 2 1 t st r t r t r t t 2 t s 1 s st r t s t t r t r t t r r s 1 t t r t r t t st t t t s t t s s t t 3 t s t t t r r t rst t s t r t s 1 r t s 1 X r t q r t r t s s t2 t t t s t t r r t s t 1 X Pr s t 2 r t r t s 1 r t s 1 s t t ts 2 r t rs t rs ts Pr t s t r t s st s s r s s t t 2 r s t t t r s t 2 t s t st t st r t t 1t s t
81 r t st r t 1 X X s s 1 s A B t s 1 X s t s 1 s A B s t t X = A B A B t r r t rt s X r t t s X t s r r t rt s X r t t s X r t t t t t t r A B A B ρ A = (f A, g A, h A ) : A EA ρ B = (f B, g B, h B ) : B EB ρ A B : (f A B, g A B, h A B ) = (A B) E(A B) st s r
82 str t 2 r t r s r t r A B A B t t st tr s ss t t t r t t t s s s {σ k } k σ k 1 σ1 k... σl(k) k D k =... σ k 1 l(k 1) P r r t t t s 1 1 t t tr s s P k P 1 k t tr s t r r N k r k 0 w k b k c k pw k pb k λ 0 σ1 k N k 0 0 IdA P k = B A σ k l(k) P 1 k = σ1 k... σ k l(k) 0 1 w k b k c k pw k pb k C A t t t t s t r t t r s st s s t t t r = A, B, A B t tr s t t r r s t t r s s t t t (A B) g A B h A B f A B E(A B) A g A EA f A h A B g B EB f B h B f = {(P k ) 1 pw k,w k,c k} k σ1 k h = σl(k) k pb k P k pb g = {P k pwk,w k,c k} k b k 1 ( σ k σ k 1 l(k 1) ) P 1 k 1 b k 1 k
83 r t t t st tr s t s s w k c k pw k w k λ EN k, := c k pw k s r t s r s i : (A B) A B str t t t t r t r ρ C = (f C, g C, h C ) : Cone(i A i B ) Cone((f A f B )(i A i B )g A B ) s 1 st s r t r t s A B ρ A B = (f A f B, g A g B, h A h B ) : A B EA EB A B g A B h A B f A B EA EB s r t r s s t t r t s ρ A B ρ A B h A B i A i B (A B) A B g A B f A B E(A B) g A B h A B f A B EA EB t t r s i = i A i B Cone(i) t r t 2 t t r s t r s r t t r s s f C g C h C t r t t t r s s Cone(Ei) := Cone((f A f B )(i A i B )g A B ) = EA EB E(A B) 1» fa 0 f A f B = 0 f B ρ C = Cone(i) g C f C h C Cone(Ei)
84 str t 2 r t r s r t t t t r t (A B) st s r t t t t Cone(Ei) ρ EC = Cone(Ei) g f h E(Cone(Ei)) s t r t s ρ C ρ EC s t Cone(i) g C h C f C h Cone(Ei) g f E(Cone(Ei)) = ρ r = Cone(i) rg rf rh E(Cone(Ei)) t t r t ss t t t t s rt 1 t s q r Cone(i) s t ρ l = Cone(i) lg lf (A B) t t r t (A B) t r t q ǫ : ρ l ρ r lh lh Cone(i) rf lg lf rg (A B) E(Cone(Ei)) rh
85 r t t t t r t rs H k ((A B) ) r 2 c c k r2 w w k t ts 2 (lf) (rg) (lf) (rg)(c) s 2 t (lf) (rg)(w) s r2 t ts t rs t s t rr s t t rs t w E(Cone(Ei)) t t s s t r t s t r t t t st r t s t s t r r s 2 t r t t t t h A B r s s f C h C t r t t ρ C : Cone(i) Cone(Ei) r s s h, f t r t ρ EC : Cone(Ei) E(Cone(Ei)) r s s rf rh t s t r t s ρ C ρ EC : Cone(i) Cone(Ei) E(Cone(Ei)) r s lg lh t r t ρ l : Cone(i) (A B) s r tt 1 t s st r t s 1 t r t r t s r t t r t r t t s s t t st r t t t t st r t s r t q s t r t t A B s 1 s A B lh Cone(i) rf lg lf rg (A B) E(Cone(Ei)) r t q s t t t t st r t t r r t t r t s t ss t r t r t t q r t r t rh s 1 X s t s 1 s A 1,...,A p s t t X = A 1... A p r r t r s s s t t A r A s
86 str t 2 r t r s r t t r r t rt s X r t t s X t s t s 1 s (A r ) r r t t rt 1 r r t s r t t t t 2 r t s 1 A r r r t r t q ǫ r : (A r ) trivial (A r ) Smith E(A r ) r t r t r t s t t t A r t t r t s tr r t A r s s t t r t st tr t s s t 3 t t t st {A r } r ❼ tr t s s t s s t X t ❼ t A r A s t s 1 s t tr t s s st s t t A r A s lh (A r A s ) rf lg lf rg (A r A s ) E(A r A s ) t t t rs t A r A s t t 2 r t ǫ rs A r A s t r t q s t t ǫ rs : (A r A s ) trivial (A r A s ) Smith E(A r A s ) t t q s s t t r t q s ǫ rs ǫ r ǫ s t r t r s s i rs = i Ar i As rh lh (Âr) (Âs) rf lg lf rg (A r ) (A s ) E(A r ) E(A s ) rh i rs r s t s r t q ǫ : Cone(i rs ) ρl Cone(î rs ) ρr Cone(Ei rs ) ǫ = e lh Cone(î rs ) frf elg lf e frg Cone(i rs ) Cone(Ei rs ) frh
87 r t r t t î = (rg) i rs (lf) Ei rs = (rg) (rf) i rs (lf) (lg) r t s 1 A r A s t A r A s t t r t ss t t t s rt 1 t s q s r Cone(i rs ) ρ lemma : Cone(i rs ) (A r A s ) t t t r Cone(Ei rs ) ρ EC : Cone(Ei rs ) E(Cone(Ei rs )) s t r t s ρ l t ρ lemma ρ r t ρ EC r s t s t r t q ǫ : (A r A s ) E(Cone(Ei rs )) s t 2 r t (A r A s ) e lh Cone(î rs ) frf elg lf e frg Cone(i rs ) Cone(Ei) eg ef (A r A s ) frh g ef E(Cone(Ei rs )) s t r t s ǫ = LH RH Cone(î rs ) RF LG LF RG (A r A s ) E(Cone(Ei rs )) ss t t r t q ǫ t t s 1 A r A s A r A s r t tr t s s st A r A s st st t X t t t s t r s 1 t s ss t ts 2 r t t r r t r t rs t rs ts t r t r s t r t r s
88 str t 2 r t r s r t t t 1 s X Y 1 r s f : X Y t t 1 Cone(f) = C = Y X 1 t tr 1 [ ] DY f D C := 1 0 D X 1 q t C lh Ĉ rh lg rf lf rg EC lh Ĉ rh lg rf lf C rg EC φ t t e lh Cone( φ) frf elg lf e frg Cone(φ) Cone(Eφ) frh r φ = (lg) φ (lf ) Eφ = (rf) (lg) φ (lf ) (rg ) [ ] [ ] rg (rh) φ(rg rg = ) rf (rf) φ(rh rf 0 rg = ) 0 rf rh = [ ] rh (rh) φ(rh ) 0 (rh ) s 2 lg = [ ] lg (lh) φ(lg ) 0 lg lf = [ ] lf (lf) φ(lh ) 0 lf lh = [ ] lh (lh) φ(lh ) 0 (lh ) r t 1 t s rt s q t t s rt 1 t s q 0 R t t ρ = (f, g,h) : Cone(i) R ν j ρ S T 0 i
89 r t ❼ f = j ❼ h = ρ ❼ g = ν ρ d S ν 2 r t r s t t s rt 1 t s q 2 r t r s 0 (A B) ν j A j B ρ A B (A B) 0 i A i B i = i A i B : (A B) A B σ (σ, σ) j = j A j B : A B (A B) (σ, σ) σ σ ν : (A B) A B σ (σ A, σ B + σ A B ) ρ : A B (A B) (σ, σ) σ A B t t tr 1 r ( σ k A σ k B σ k 1 A B ) f k = σ k A B j A j B 0 h k = σ k A σk B σk 1 A B σ k+1 A σ k+1 B σ k A B ρ ρ 0 g k = σ k A B σ k A ν σ k B ν σ k 1 A B ρ d A B ν t t
90 str t 2 r t r s r t t 1 Ĉ t t r t ρ ρ = g Ĉ f EC h w k c k pw k w k λ EN k = c k pw k σ k 1 w k c k pw k g k := P k =... σ k l(k) f k := P 1 k = w k σ1 k... σ k l(k) c k... pw k h k = σ1 k σl(k) k pb k P k pb b k 1 ( σ k σ k 1 l(k 1) ) P 1 k 1 b k 1 t t r t q s r t q s ǫ A : A ρ A ρ A Â A ρ A ρ B ǫ B : B ρ B B ρ B B t t ǫ A ǫ B : A B Â B ρ A ρ B A B s r t s ρ A ρ B s t s t r r s s t r s s t tr s f A f B r r s s r tr s t [ ] fa 0 f A f B = 0 f B s t r t s
91 r t t ρ = (f, g,h) : C D ρ = (f, g, h ) : C D t t ρ = (f, g, h ) : C C f = f f g = gg h = h + gh f Pr t rr t ss t r t r s t r t t r t s s 2 t r t t t r t q t t t st t s t 2 r t q LH RH Cone(î) RF LG LF RG (A r A s ) E(Cone(Ei)) t t t t r t r r t q s t r t s r r s r t s q s t r t s r s r t str t r r t q r r t st t r t q s t r r s r t t t 1 (A r A s ) s r t r t t s ss r s t t t r t r t r s t t r2 r t r (A r A s ) t 2 E(Cone(Ei)) s q t t t 2 (A r A s ) s r s t E(Cone(Ei)) s (A r A s ) t q t 2 s s r s s 2 t s (A r A s ) (RF)(LG) E(Cone(Ei)) (A r A s ) (LF)(RG) E(Cone(Ei)) t s 2 t rr t ss t st r t s r s t r t s r r s r t r t str t r t t
92 str t 2 r t r s r t t r s r t s t 1 t2 s s t t t 2 1 t t s t s t s 1 rr s t t r t r t t 1 t r t q t s 1 t t r t r t t s t r q r t s t r s t t 1 s r t s r t s rr t t r t r ❼ t t t t t ❼ tr s 2 ❼ s t r s s rr s s t t 2 t r tr s t t 2 t A B t r r t t t r t t t Cone(Ei) = EA EB E(A B) 1 tr s t Cone(Ei) r r rt t t s 3 t 2 r s A B A B r r t t t t t EA EB E(A B) 2 t s s s rr s t t t 2 s t r s t r r s r r t s t t tr s Cone(Ei) r r rt t t s ts t n A k t r k s A ma k t s t r t s s A t s s t t r t t t {w k,c k,pw k } t t t smith(m) t r r t s r q r r t t t r r tr 1 t m ts s s t t t 2 r t A B A B s r 2 t t r 2 t r t t s 2 r t s r t t t 2 t s t s r t
93 r t t t q s rr s s t t t r t s t s t str t s 1 r s s 2 tr 1 2 str t t tr s t t 2 t tr s 2 t r tr s 2 7 tr 1 t t s 3 7 tr s t tr 1 t t s 2s t tr s s t r t s q t t r s t rr s s t t rs t r r t t t s r q r r r t s t r r O((n A k + n B k )na B k r k ) r t t r t s O((m A k + mb k )ma B k t t r t ρ lemma : Cone( φ rs ) (A r A s ) ) r t r t r t s ❼ t t t r s s i j ν ρ t t 2 r t r s s rt 1 t s q s s 2 s r t s A r A s A r A s A r A s ❼ t t t tr s t s s (A r ) (A s ) ❼ t r r s t r s s i j ν ρ t str t t r s s t r t ❼ t t 2 ρ d (Ar) (A s) ν t t t t Cone(Ei) s st t r t s s r rt t t s t 2 r s t r t rs ts 1 t2 t s rt s n 1 k=0 smith((ma k +mb k +ma B k )(m A k+1 +mb k+1 +ma B k+1 )) s t r t s s t t s tr s s s t 1 t2 t r t s 2 t r s t t rs t r r t t ss t r t s t s t t rs t t r s t t rs t s s t r t s s A B A B r s r t t r r s t t str t 2 r t r s r t s st r t t r t 2 t t r t t s t s s t tr s t t r r st t r s r r s ❼ t s t t t t s t s tr s t 1 t2 t t r t s r2 s s t t t rt
94 str t 2 r t r s r t ❼ r2 t 3 t s r r t 2 s t tr 1 rr s t t t 2 r t r t t t s s s t s tr 1 rr s s t t s t r s A B A B ❼ 2 r t rs t r s 2 s
95 r t
96 str t 2 r t r s r t t r t 3 t s t 3 t r2 s t t r t t r t q t tr r t s t r t rr s t r t r t r t s t r t s t r t s 3 t tr 1 r s s t s t ss r2 t 2 r s r s r st s ss t 3 t s ❼ tr 1 s t t 2 ss r r s t t r s s r r s t r s s t str t s t t r t r s t t t r r r s t t tr r t t s 2 r s s f g r r s t t s t t r t r t r t t r h r t r s t 3 r t r t s 2 r r s t t 2 r t r s r s i j ν ρ s t r s t2 s 2 t 1 s r2 s r t r s r 1 t tr 1 rr s t s i 1 r ss s r t t t s r t 2 t ts r t t 3 r s r r s t r t t 2 t st r t r r t t r t s s st t s s st t t t tr s 2 ❼ tr 1 t t 2 r t r t t t s r2 r rt t 2 t r t st r t r t t t s s 2 ts s 3 t t t t s t t t t r t t r t t t t r r s 2 t s s t s t t s t t rs t s s r t t 2 t t 2 r t r h ss t t r t 2 t t t rs t s t 2 r t r t rh r t s rr s t t s t t rs t s t r st t s r t s
Couplage dans les applications interactives de grande taille
Couplage dans les applications interactives de grande taille Jean-Denis Lesage To cite this version: Jean-Denis Lesage. Couplage dans les applications interactives de grande taille. Réseaux et télécommunications
Διαβάστε περισσότεραRobust Segmentation of Focal Lesions on Multi-Sequence MRI in Multiple Sclerosis
Robust Segmentation of Focal Lesions on Multi-Sequence MRI in Multiple Sclerosis Daniel García-Lorenzo To cite this version: Daniel García-Lorenzo. Robust Segmentation of Focal Lesions on Multi-Sequence
Διαβάστε περισσότεραConsommation marchande et contraintes non monétaires au Canada ( )
Consommation marchande et contraintes non monétaires au Canada (1969-2008) Julien Boelaert, François Gardes To cite this version: Julien Boelaert, François Gardes. Consommation marchande et contraintes
Διαβάστε περισσότεραACI sécurité informatique KAA (Key Authentification Ambient)
ACI sécurité informatique KAA (Key Authentification Ambient) Samuel Galice, Veronique Legrand, Frédéric Le Mouël, Marine Minier, Stéphane Ubéda, Michel Morvan, Sylvain Sené, Laurent Guihéry, Agnès Rabagny,
Διαβάστε περισσότεραJeux d inondation dans les graphes
Jeux d inondation dans les graphes Aurélie Lagoutte To cite this version: Aurélie Lagoutte. Jeux d inondation dans les graphes. 2010. HAL Id: hal-00509488 https://hal.archives-ouvertes.fr/hal-00509488
Διαβάστε περισσότεραÉmergence des représentations perceptives de la parole : Des transformations verbales sensorielles à des éléments de modélisation computationnelle
Émergence des représentations perceptives de la parole : Des transformations verbales sensorielles à des éléments de modélisation computationnelle Anahita Basirat To cite this version: Anahita Basirat.
Διαβάστε περισσότεραAnnulations de la dette extérieure et croissance. Une application au cas des pays pauvres très endettés (PPTE)
Annulations de la dette extérieure et croissance. Une application au cas des pays pauvres très endettés (PPTE) Khadija Idlemouden To cite this version: Khadija Idlemouden. Annulations de la dette extérieure
Διαβάστε περισσότεραTransformations d Arbres XML avec des Modèles Probabilistes pour l Annotation
Transformations d Arbres XML avec des Modèles Probabilistes pour l Annotation Florent Jousse To cite this version: Florent Jousse. Transformations d Arbres XML avec des Modèles Probabilistes pour l Annotation.
Διαβάστε περισσότεραRadio détection des rayons cosmiques d ultra-haute énergie : mise en oeuvre et analyse des données d un réseau de stations autonomes.
Radio détection des rayons cosmiques d ultra-haute énergie : mise en oeuvre et analyse des données d un réseau de stations autonomes. Diego Torres Machado To cite this version: Diego Torres Machado. Radio
Διαβάστε περισσότεραPhysique des réacteurs à eau lourde ou légère en cycle thorium : étude par simulation des performances de conversion et de sûreté
Physique des réacteurs à eau lourde ou légère en cycle thorium : étude par simulation des performances de conversion et de sûreté Alexis Nuttin To cite this version: Alexis Nuttin. Physique des réacteurs
Διαβάστε περισσότεραForêts aléatoires : aspects théoriques, sélection de variables et applications
Forêts aléatoires : aspects théoriques, sélection de variables et applications Robin Genuer To cite this version: Robin Genuer. Forêts aléatoires : aspects théoriques, sélection de variables et applications.
Διαβάστε περισσότεραMulti-GPU numerical simulation of electromagnetic waves
Multi-GPU numerical simulation of electromagnetic waves Philippe Helluy, Thomas Strub To cite this version: Philippe Helluy, Thomas Strub. Multi-GPU numerical simulation of electromagnetic waves. ESAIM:
Διαβάστε περισσότεραTransfert sécurisé d Images par combinaison de techniques de compression, cryptage et de marquage
Transfert sécurisé d Images par combinaison de techniques de compression, cryptage et de marquage José Marconi Rodrigues To cite this version: José Marconi Rodrigues. Transfert sécurisé d Images par combinaison
Διαβάστε περισσότεραSolving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques Raphael Chenouard, Patrick Sébastian, Laurent Granvilliers To cite this version: Raphael
Διαβάστε περισσότεραLangages dédiés au développement de services de communications
Langages dédiés au développement de services de communications Nicolas Palix To cite this version: Nicolas Palix. Langages dédiés au développement de services de communications. Réseaux et télécommunications
Διαβάστε περισσότεραModèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes
Modèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes Jérôme Baril To cite this version: Jérôme Baril. Modèles de représentation multi-résolution pour le rendu
Διαβάστε περισσότεραVers un assistant à la preuve en langue naturelle
Vers un assistant à la preuve en langue naturelle Thévenon Patrick To cite this version: Thévenon Patrick. Vers un assistant à la preuve en langue naturelle. Autre [cs.oh]. Université de Savoie, 2006.
Διαβάστε περισσότεραNetwork Neutrality Debate and ISP Inter-Relations: Traffi c Exchange, Revenue Sharing, and Disconnection Threat
Network Neutrality Debate and ISP Inter-Relations: Traffi c Exchange, Revenue Sharing, and Disconnection Threat Pierre Coucheney, Patrick Maillé, runo Tuffin To cite this version: Pierre Coucheney, Patrick
Διαβάστε περισσότεραChemical and biological evaluations of an (111)in-labeled RGD-peptide targeting integrin alpha(v) beta(3) in a preclinical tumor model.
Chemical and biological evaluations of an (111)in-labeled RGD-peptide targeting integrin alpha(v) beta(3) in a preclinical tumor model. Mitra Ahmadi, Lucie Sancey, Arnaud Briat, Laurent Riou, Didier Boturyn,
Διαβάστε περισσότεραDYNAMICS OF CHANGE WITHIN LIVESTOCK SUB-SECTOR IN CHAD : a key-study of raw milk commodity chain in N Djamena
DYNAMICS OF CHANGE WITHIN LIVESTOCK SUB-SECTOR IN CHAD : a key-study of raw milk commodity chain in N Djamena Koussou Mian Oudanang To cite this version: Koussou Mian Oudanang. DYNAMICS OF CHANGE WITHIN
Διαβάστε περισσότεραPoints de torsion des courbes elliptiques et équations diophantiennes
Points de torsion des courbes elliptiques et équations diophantiennes Nicolas Billerey To cite this version: Nicolas Billerey. Points de torsion des courbes elliptiques et équations diophantiennes. Mathématiques
Διαβάστε περισσότεραSPFC: a tool to improve water management and hay production in the Crau region
SPFC: a tool to improve water management and hay production in the Crau region J.C. Mailhol, A. Merot To cite this version: J.C. Mailhol, A. Merot. SPFC: a tool to improve water management and hay production
Διαβάστε περισσότεραGeometric Tomography With Topological Guarantees
Geometric Tomography With Topological Guarantees Omid Amini, Jean-Daniel Boissonnat, Pooran Memari To cite this version: Omid Amini, Jean-Daniel Boissonnat, Pooran Memari. Geometric Tomography With Topological
Διαβάστε περισσότεραMesh Parameterization: Theory and Practice
Mesh Parameterization: Theory and Practice Kai Hormann, Bruno Lévy, Alla Sheffer To cite this version: Kai Hormann, Bruno Lévy, Alla Sheffer. Mesh Parameterization: Theory and Practice. This document is
Διαβάστε περισσότεραE fficient computational tools for the statistical analysis of shape and asymmetryof 3D point sets
E fficient computational tools for the statistical analysis of shape and asymmetryof 3D point sets Benoît Combès To cite this version: Benoît Combès. E fficient computational tools for the statistical
Διαβάστε περισσότεραContribution à l évolution des méthodologies de caractérisation et d amélioration des voies ferrées
Contribution à l évolution des méthodologies de caractérisation et d amélioration des voies ferrées Noureddine Rhayma To cite this version: Noureddine Rhayma. Contribution à l évolution des méthodologies
Διαβάστε περισσότεραCoupling strategies for compressible - low Mach number flows
Coupling strategies for compressible - low Mach number flows Yohan Penel, Stéphane Dellacherie, Bruno Després To cite this version: Yohan Penel, Stéphane Dellacherie, Bruno Després. Coupling strategies
Διαβάστε περισσότεραLogique et Interaction : une Étude Sémantique de la
Logique et Interaction : une Étude Sémantique de la Totalité Pierre Clairambault To cite this version: Pierre Clairambault. Logique et Interaction : une Étude Sémantique de la Totalité. Autre [cs.oh].
Διαβάστε περισσότεραAnalysis of a discrete element method and coupling with a compressible fluid flow method
Analysis of a discrete element method and coupling with a compressible fluid flow method Laurent Monasse To cite this version: Laurent Monasse. Analysis of a discrete element method and coupling with a
Διαβάστε περισσότεραStatistical analysis of extreme events in a nonstationary context via a Bayesian framework. Case study with peak-over-threshold data
Statistical analysis of extreme events in a nonstationary context via a Bayesian framework. Case study with peak-over-threshold data B. Renard, M. Lang, P. Bois To cite this version: B. Renard, M. Lang,
Διαβάστε περισσότεραEnzymatic Synthesis of Dithiolopyrrolone Antibiotics Using Cell-Free Extract of Saccharothrix
Enzymatic Synthesis of Dithiolopyrrolone Antibiotics Using Cell-Free Extract of Saccharothrix algeriensis NRRL B-24137 and Biochemical Characterization of Two Pyrrothine N-Acyltransferases in This Extract.
Διαβάστε περισσότεραA Convolutional Neural Network Approach for Objective Video Quality Assessment
A Convolutional Neural Network Approach for Objective Video Quality Assessment Patrick Le Callet, Christian Viard-Gaudin, Dominique Barba To cite this version: Patrick Le Callet, Christian Viard-Gaudin,
Διαβάστε περισσότεραJie He. To cite this version: HAL Id: halshs https://halshs.archives-ouvertes.fr/halshs
Pollution haven hypothesis and Environmental impacts of foreign direct investment: The Case of Industrial Emission of Sulfur Dioxide (SO2) in Chinese provinces Jie He To cite this version: Jie He. Pollution
Διαβάστε περισσότεραHygromécanique des panneaux en bois et conservation du patrimoine culturel. Des pathologies... aux outils pour la conservation
Hygromécanique des panneaux en bois et conservation du patrimoine culturel. Des pathologies... aux outils pour la conservation Bertrand Marcon To cite this version: Bertrand Marcon. Hygromécanique des
Διαβάστε περισσότεραAlgorithmique et télécommunications : Coloration et multiflot approchés et applications aux réseaux d infrastructure
Algorithmique et télécommunications : Coloration et multiflot approchés et applications aux réseaux d infrastructure Hervé Rivano To cite this version: Hervé Rivano. Algorithmique et télécommunications
Διαβάστε περισσότεραMeasurement-driven mobile data traffic modeling in a large metropolitan area
Measurement-driven mobile data traffic modeling in a large metropolitan area Eduardo Mucelli Rezende Oliveira, Aline Carneiro Viana, Kolar Purushothama Naveen, Carlos Sarraute To cite this version: Eduardo
Διαβάστε περισσότεραInflation Bias after the Euro: Evidence from the UK and Italy
Inflation Bias after the Euro: Evidence from the UK and Italy Pasquale Scaramozzino, Giancarlo Marini, Alessandro Piergallini To cite this version: Pasquale Scaramozzino, Giancarlo Marini, Alessandro Piergallini.
Διαβάστε περισσότεραLes gouttes enrobées
Les gouttes enrobées Pascale Aussillous To cite this version: Pascale Aussillous. Les gouttes enrobées. Fluid Dynamics. Université Pierre et Marie Curie - Paris VI,. French. HAL Id: tel-363 https://tel.archives-ouvertes.fr/tel-363
Διαβάστε περισσότεραMicroscopie photothermique et endommagement laser
Microscopie photothermique et endommagement laser Annelise During To cite this version: Annelise During. Microscopie photothermique et endommagement laser. Physique Atomique [physics.atom-ph]. Université
Διαβάστε περισσότεραRésolution de problème inverse et propagation d incertitudes : application à la dynamique des gaz compressibles
Résolution de problème inverse et propagation d incertitudes : application à la dynamique des gaz compressibles Alexandre Birolleau To cite this version: Alexandre Birolleau. Résolution de problème inverse
Διαβάστε περισσότεραTraitement STAP en environnement hétérogène. Application à la détection radar et implémentation sur GPU
Traitement STAP en environnement hétérogène. Application à la détection radar et implémentation sur GPU Jean-François Degurse To cite this version: Jean-François Degurse. Traitement STAP en environnement
Διαβάστε περισσότεραStéphane Bancelin. Imagerie Quantitative du Collagène par Génération de Seconde Harmonique.
Imagerie Quantitative du Collagène par Génération de Seconde Harmonique Stéphane Bancelin To cite this version: Stéphane Bancelin. Imagerie Quantitative du Collagène par Génération de Seconde Harmonique.
Διαβάστε περισσότεραDéveloppement de virus HSV-1 (virus de l herpes simplex de type 1) oncolytiques ciblés pour traiter les carcinomes hépatocellulaires
Développement de virus HSV-1 (virus de l herpes simplex de type 1) oncolytiques ciblés pour traiter les carcinomes hépatocellulaires Aldo Decio Pourchet To cite this version: Aldo Decio Pourchet. Développement
Διαβάστε περισσότεραModélisation de la réaction d alkylation du motif zinc-thiolate
Modélisation de la réaction d alkylation du motif zinc-thiolate Delphine Picot To cite this version: Delphine Picot. Modélisation de la réaction d alkylation du motif zinc-thiolate. Chimie. Ecole Polytechnique
Διαβάστε περισσότεραP r s r r t. tr t. r P
P r s r r t tr t r P r t s rés t t rs s r s r r t é ér s r q s t r r r r t str t q q s r s P rs t s r st r q r P P r s r r t t s rés t t r t s rés t t é ér s r q s t r r r r t r st r q rs s r s r r t str
Διαβάστε περισσότεραPax8 and Pax2 are specifically required at different steps of Xenopus pronephros development
Pax8 and Pax2 are specifically required at different steps of Xenopus pronephros development Isabelle Buisson, Ronan Le Bouffant, Mélinée Futel, Jean-François Riou, Muriel Umbhauer To cite this version:
Διαβάστε περισσότεραLa naissance de la cohomologie des groupes
La naissance de la cohomologie des groupes Nicolas Basbois To cite this version: Nicolas Basbois. La naissance de la cohomologie des groupes. Mathématiques [math]. Université Nice Sophia Antipolis, 2009.
Διαβάστε περισσότεραThree essays on trade and transfers: country heterogeneity, preferential treatment and habit formation
Three essays on trade and transfers: country heterogeneity, preferential treatment and habit formation Jean-Marc Malambwe Kilolo To cite this version: Jean-Marc Malambwe Kilolo. Three essays on trade and
Διαβάστε περισσότεραFusion de données multicapteurs pour la construction incrémentale du modèle tridimensionnel texturé d un environnement intérieur par un robot mobile
Fusion de données multicapteurs pour la construction incrémentale du modèle tridimensionnel texturé d un environnement intérieur par un robot mobile Ayman Zureiki To cite this version: Ayman Zureiki. Fusion
Διαβάστε περισσότεραProfiterole : un protocole de partage équitable de la bande passante dans les réseaux ad hoc
Profiterole : un protocole de partage équitable de la bande passante dans les réseaux ad hoc Rémi Vannier To cite this version: Rémi Vannier. Profiterole : un protocole de partage équitable de la bande
Διαβάστε περισσότεραVoice over IP Vulnerability Assessment
Voice over IP Vulnerability Assessment Humberto Abdelnur To cite this version: Humberto Abdelnur. Voice over IP Vulnerability Assessment. Networking and Internet Architecture [cs.ni]. Université Henri
Διαβάστε περισσότεραr t t r t t à ré ér t é r t st é é t r s s2stè s t rs ts t s
r t r r é té tr q tr t q t t q t r t t rrêté stér ût Prés té r ré ér ès r é r r st P t ré r t érô t 2r ré ré s r t r tr q t s s r t t s t r tr q tr t q t t q t r t t r t t r t t à ré ér t é r t st é é
Διαβάστε περισσότεραP P Ó P. r r t r r r s 1. r r ó t t ó rr r rr r rí st s t s. Pr s t P r s rr. r t r s s s é 3 ñ
P P Ó P r r t r r r s 1 r r ó t t ó rr r rr r rí st s t s Pr s t P r s rr r t r s s s é 3 ñ í sé 3 ñ 3 é1 r P P Ó P str r r r t é t r r r s 1 t r P r s rr 1 1 s t r r ó s r s st rr t s r t s rr s r q s
Διαβάστε περισσότεραDéveloppement d un nouveau multi-détecteur de neutrons
Développement d un nouveau multi-détecteur de neutrons M. Sénoville To cite this version: M. Sénoville. Développement d un nouveau multi-détecteur de neutrons. Physique Nucléaire Expérimentale [nucl-ex].
Διαβάστε περισσότεραUne Théorie des Constructions Inductives
Une Théorie des Constructions Inductives Benjamin Werner To cite this version: Benjamin Werner. Une Théorie des Constructions Inductives. Génie logiciel [cs.se]. Université Paris- Diderot - Paris VII,
Διαβάστε περισσότεραTransformation automatique de la parole - Etude des transformations acoustiques
Transformation automatique de la parole - Etude des transformations acoustiques Larbi Mesbahi To cite this version: Larbi Mesbahi. Transformation automatique de la parole - Etude des transformations acoustiques.
Διαβάστε περισσότεραConditions aux bords dans des theories conformes non unitaires
Conditions aux bords dans des theories conformes non unitaires Jerome Dubail To cite this version: Jerome Dubail. Conditions aux bords dans des theories conformes non unitaires. Physique mathématique [math-ph].
Διαβάστε περισσότεραPathological synchronization in neuronal populations : a control theoretic perspective
Pathological synchronization in neuronal populations : a control theoretic perspective Alessio Franci To cite this version: Alessio Franci. Pathological synchronization in neuronal populations : a control
Διαβάστε περισσότεραDes données anatomiques à la simulation de la locomotion : application à l homme, au chimpanzé, et à Lucy (A.L )
Des données anatomiques à la simulation de la locomotion : application à l homme, au chimpanzé, et à Lucy (A.L. 288-1) Guillaume Nicolas To cite this version: Guillaume Nicolas. Des données anatomiques
Διαβάστε περισσότεραPierre Grandemange. To cite this version: HAL Id: tel https://tel.archives-ouvertes.fr/tel
Piégeage et accumulation de positons issus d un faisceau pulsé produit par un accélérateur pour l étude de l interaction gravitationnelle de l antimatière Pierre Grandemange To cite this version: Pierre
Διαβάστε περισσότεραSegmentation d IRM cérébrales multidimensionnelles par coupe de graphe
Segmentation d IRM cérébrales multidimensionnelles par coupe de graphe Jérémy Lecoeur To cite this version: Jérémy Lecoeur. Segmentation d IRM cérébrales multidimensionnelles par coupe de graphe. Informatique
Διαβάστε περισσότεραss rt çã r s t Pr r Pós r çã ê t çã st t t ê s 1 t s r s r s r s r q s t r r t çã r str ê t çã r t r r r t r s
P P P P ss rt çã r s t Pr r Pós r çã ê t çã st t t ê s 1 t s r s r s r s r q s t r r t çã r str ê t çã r t r r r t r s r t r 3 2 r r r 3 t r ér t r s s r t s r s r s ér t r r t t q s t s sã s s s ér t
Διαβάστε περισσότεραDiscouraging abusive behavior in privacy-preserving decentralized online social networks
Discouraging abusive behavior in privacy-preserving decentralized online social networks Álvaro García-Recuero To cite this version: Álvaro García-Recuero. Discouraging abusive behavior in privacy-preserving
Διαβάστε περισσότεραInteraction hydrodynamique entre deux vésicules dans un cisaillement simple
Interaction hydrodynamique entre deux vésicules dans un cisaillement simple Pierre-Yves Gires To cite this version: Pierre-Yves Gires. Interaction hydrodynamique entre deux vésicules dans un cisaillement
Διαβάστε περισσότεραrs r r â t át r st tíst Ó P ã t r r r â
rs r r â t át r st tíst P Ó P ã t r r r â ã t r r P Ó P r sã rs r s t à r çã rs r st tíst r q s t r r t çã r r st tíst r t r ú r s r ú r â rs r r â t át r çã rs r st tíst 1 r r 1 ss rt q çã st tr sã
Διαβάστε περισσότεραA Comparison of numerical simulation models for predicting temperature in solidification analysis with reference to air gap formation
A Comparison of numerical simulation models for predicting temperature in solidification analysis with reference to air gap formation J. Kron, Michel Bellet, Andreas Ludwig, Bjorn Pustal, Joachim Wendt,
Διαβάστε περισσότεραUNIVERSITE DE PERPIGNAN VIA DOMITIA
Délivré par UNIVERSITE DE PERPIGNAN VIA DOMITIA Préparée au sein de l école doctorale Energie et Environnement Et de l unité de recherche Procédés, Matériaux et Énergie Solaire (PROMES-CNRS, UPR 8521)
Διαβάστε περισσότεραAlterazioni del sistema cardiovascolare nel volo spaziale
POLITECNICO DI TORINO Corso di Laurea in Ingegneria Aerospaziale Alterazioni del sistema cardiovascolare nel volo spaziale Relatore Ing. Stefania Scarsoglio Studente Marco Enea Anno accademico 2015 2016
Διαβάστε περισσότεραON THE MEASUREMENT OF
ON THE MEASUREMENT OF INVESTMENT TYPES: HETEROGENEITY IN CORPORATE TAX ELASTICITIES HENDRIK JUNGMANN, SIMON LORETZ WORKING PAPER NO. 2016-01 t s r t st t t2 s t r t2 r r t t 1 st t s r r t3 str t s r ts
Διαβάστε περισσότεραSpectres de diffusion Raman induits par les intéractions pour les bandes v2 et v3 de la molécule CO2 en gaz pur et en mélange avec de l argon
Spectres de diffusion Raman induits par les intéractions pour les bandes v2 et v3 de la molécule CO2 en gaz pur et en mélange avec de l argon Natalia Egorova To cite this version: Natalia Egorova. Spectres
Διαβάστε περισσότεραMohamed-Salem Louly. To cite this version: HAL Id: tel https://tel.archives-ouvertes.fr/tel
Deux modèles matématiques de l évolution d un bassin sédimentaire. Pénomènes d érosion-sédimentation-transport en géologie. Application en prospection pétrolière Moamed-Salem Louly To cite tis version:
Διαβάστε περισσότεραModélisation / Contrôle de la chaîne d air des moteurs HCCI pour euro 7.
Modélisation / Contrôle de la chaîne d air des moteurs HCCI pour euro 7. Felipe Castillo Buenaventura To cite this version: Felipe Castillo Buenaventura. Modélisation / Contrôle de la chaîne d air des
Διαβάστε περισσότεραA qualitative and quantitative analysis of the impact of the Auto ID technology on supply chains
A qualitative and quantitative analysis of the impact of the Auto ID technology on supply chains Evren Sahin To cite this version: Evren Sahin. A qualitative and quantitative analysis of the impact of
Διαβάστε περισσότεραr r t r r t t r t P s r t r P s r s r r rs tr t r r t s ss r P s s t r t t tr r r t t r t r r t t s r t rr t Ü rs t 3 r r r 3 rträ 3 röÿ r t
r t t r t ts r3 s r r t r r t t r t P s r t r P s r s r P s r 1 s r rs tr t r r t s ss r P s s t r t t tr r 2s s r t t r t r r t t s r t rr t Ü rs t 3 r t r 3 s3 Ü rs t 3 r r r 3 rträ 3 röÿ r t r r r rs
Διαβάστε περισσότεραCarolina Bernal, Frédéric Christophoul, Jean-Claude Soula, José Darrozes, Luc Bourrel, Alain Laraque, José Burgos, Séverine Bès de Berc, Patrice Baby
Gradual diversions of the Rio Pastaza in the Ecuadorian piedmont of the Andes from 1906 to 2008: role of tectonics, alluvial fan aggradation and ENSO events Carolina Bernal, Frédéric Christophoul, Jean-Claude
Διαβάστε περισσότεραLEM. Non-linear externalities in firm localization. Giulio Bottazzi Ugo Gragnolati * Fabio Vanni
LEM WORKING PAPER SERIES Non-linear externalities in firm localization Giulio Bottazzi Ugo Gragnolati * Fabio Vanni Institute of Economics, Scuola Superiore Sant'Anna, Pisa, Italy * University of Paris
Διαβάστε περισσότεραAssessment of otoacoustic emission probe fit at the workfloor
Assessment of otoacoustic emission probe fit at the workfloor t s st tt r st s s r r t rs t2 t P t rs str t t r 1 t s ér r tr st tr r2 t r r t s t t t r t s r ss r rr t 2 s r r 1 s r r t s s s r t s t
Διαβάστε περισσότεραStratégies Efficaces et Modèles d Implantation pour les Langages Fonctionnels.
Stratégies Efficaces et Modèles d Implantation pour les Langages Fonctionnels. François-Régis Sinot To cite this version: François-Régis Sinot. Stratégies Efficaces et Modèles d Implantation pour les Langages
Διαβάστε περισσότεραDéformation et quantification par groupoïde des variétés toriques
Défomation et uantification pa goupoïde de vaiété toiue Fédéic Cadet To cite thi veion: Fédéic Cadet. Défomation et uantification pa goupoïde de vaiété toiue. Mathématiue [math]. Univeité d Oléan, 200.
Διαβάστε περισσότεραBandwidth mismatch calibration in time-interleaved analog-to-digital converters
Bandwidth mismatch calibration in time-interleaved analog-to-digital converters Fatima Ghanem To cite this version: Fatima Ghanem. Bandwidth mismatch calibration in time-interleaved analog-to-digital converters.
Διαβάστε περισσότεραApproximation de haute précision des problèmes de diffraction.
Approximation de haute précision des problèmes de diffraction. Sophie Laurens To cite this version: Sophie Laurens. Approximation de haute précision des problèmes de diffraction.. Mathématiques [math].
Διαβάστε περισσότεραModeling floods in a dense urban area using 2D shallow water equations
odeling floods in a dense urban area using 2D shallow water equations E. ignot, A. Paquier,. Haider To cite this version E. ignot, A. Paquier,. Haider. odeling floods in a dense urban area using 2D shallow
Διαβάστε περισσότεραss rt t r s t t t rs r ç s s rt t r t Pr r r q r ts P 2s s r r t t t t t st r t
Ô P ss rt t r s t t t rs r ç s s rt t r t Pr r r q r ts P 2s s r r t t t t t st r t FichaCatalografica :: Fichacatalografica https://www3.dti.ufv.br/bbt/ficha/cadastrarficha/visua... Ficha catalográfica
Διαβάστε περισσότεραParts Manual. Trio Mobile Surgery Platform. Model 1033
Trio Mobile Surgery Platform Model 1033 Parts Manual For parts or technical assistance: Pour pièces de service ou assistance technique : Für Teile oder technische Unterstützung Anruf: Voor delen of technische
Διαβάστε περισσότεραP P Ô. ss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t
P P Ô P ss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t FELIPE ANDRADE APOLÔNIO UM MODELO PARA DEFEITOS ESTRUTURAIS EM NANOMAGNETOS Dissertação apresentada à Universidade Federal
Διαβάστε περισσότεραDémembrement génétique des déficiences intellectuelles et compréhension des bases physiopathologiques associées, à l ère du séquençage à haut débit
Démembrement génétique des déficiences intellectuelles et compréhension des bases physiopathologiques associées, à l ère du séquençage à haut débit Maéva Langouët To cite this version: Maéva Langouët.
Διαβάστε περισσότεραss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t
ss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t FichaCatalografica :: Fichacatalografica https://www3.dti.ufv.br/bbt/ficha/cadastrarficha/visua... Ficha catalográfica preparada
Διαβάστε περισσότεραAnalyse de modèles pour ITER ; Traitement des conditions aux limites de systèmes modélisant le plasma de bord dans un tokamak
Analyse de modèles pour ITER ; Traitement des conditions aux limites de systèmes modélisant le plasma de bord dans un tokamak Thomas Auphan To cite this version: Thomas Auphan. Analyse de modèles pour
Διαβάστε περισσότεραA Probabilistic Numerical Method for Fully Non-linear Parabolic Partial Differential Equations
A Probabilistic Numerical Metod for Fully Non-linear Parabolic Partial Differential Equations Aras Faim To cite tis version: Aras Faim. A Probabilistic Numerical Metod for Fully Non-linear Parabolic Partial
Διαβάστε περισσότεραQBER DISCUSSION PAPER No. 8/2013. On Assortative and Disassortative Mixing in Scale-Free Networks: The Case of Interbank Credit Networks
QBER DISCUSSION PAPER No. 8/2013 On Assortative and Disassortative Mixing in Scale-Free Networks: The Case of Interbank Credit Networks Karl Finger, Daniel Fricke and Thomas Lux ss rt t s ss rt t 1 r t
Διαβάστε περισσότεραGlobal excess liquidity and asset prices in emerging countries: a pvar approach
Global excess liquidity and asset prices in emerging countries: a pvar approach Sophie Brana, Marie-Louise Djibenou, Stéphanie Prat To cite this version: Sophie Brana, Marie-Louise Djibenou, Stéphanie
Διαβάστε περισσότεραMulti-scale method for modeling thin sheet buckling under residual stress : In the context of cold strip rolling
Multi-scale method for modeling thin sheet buckling under residual stress : In the context of cold strip rolling Rebecca Nakhoul To cite this version: Rebecca Nakhoul. Multi-scale method for modeling thin
Διαβάστε περισσότεραŁs t r t rs tø r P r s tø PrØ rø rs tø P r s r t t r s t Ø t q s P r s tr. 2stŁ s q t q s t rt r s t s t ss s Ø r s t r t. Łs t r t t Ø t q s
Łs t r t rs tø r P r s tø PrØ rø rs tø P r s r t t r s t Ø t q s P r s tr st t t t Ø t q s ss P r s P 2stŁ s q t q s t rt r s t s t ss s Ø r s t r t P r røs r Łs t r t t Ø t q s r Ø r t t r t q t rs tø
Διαβάστε περισσότεραRaréfaction dans les suites b-multiplicatives
Raréfaction dans les suites b-multiplicatives Alexandre Aksenov To cite this version: Alexandre Aksenov. Raréfaction dans les suites b-multiplicatives. Mathématiques générales [math.gm]. Université Grenoble
Διαβάστε περισσότερα!!" #7 $39 %" (07) ..,..,.. $ 39. ) :. :, «(», «%», «%», «%» «%». & ,. ). & :..,. '.. ( () #*. );..,..'. + (# ).
1 00 3 !!" 344#7 $39 %" 6181001 63(07) & : ' ( () #* ); ' + (# ) $ 39 ) : : 00 %" 6181001 63(07)!!" 344#7 «(» «%» «%» «%» «%» & ) 4 )&-%/0 +- «)» * «1» «1» «)» ) «(» «%» «%» + ) 30 «%» «%» )1+ / + : +3
Διαβάστε περισσότεραAVERTISSEMENT. D'autre part, toute contrefaçon, plagiat, reproduction encourt une poursuite pénale. LIENS
AVERTISSEMENT Ce document est le fruit d'un long travail approuvé par le jury de soutenance et mis à disposition de l'ensemble de la communauté universitaire élargie. Il est soumis à la propriété intellectuelle
Διαβάστε περισσότεραAx = b. 7x = 21. x = 21 7 = 3.
3 s st 3 r 3 t r 3 3 t s st t 3t s 3 3 r 3 3 st t t r 3 s t t r r r t st t rr 3t r t 3 3 rt3 3 t 3 3 r st 3 t 3 tr 3 r t3 t 3 s st t Ax = b. s t 3 t 3 3 r r t n r A tr 3 rr t 3 t n ts b 3 t t r r t x 3
Διαβάστε περισσότεραΓΗ ΚΑΙ ΣΥΜΠΑΝ. Εικόνα 1. Φωτογραφία του γαλαξία μας (από αρχείο της NASA)
ΓΗ ΚΑΙ ΣΥΜΠΑΝ Φύση του σύμπαντος Η γη είναι μία μονάδα μέσα στο ηλιακό μας σύστημα, το οποίο αποτελείται από τον ήλιο, τους πλανήτες μαζί με τους δορυφόρους τους, τους κομήτες, τα αστεροειδή και τους μετεωρίτες.
Διαβάστε περισσότεραC 1 D 1. AB = a, AD = b, AA1 = c. a, b, c : (1) AC 1 ; : (1) AB + BC + CC1, AC 1 = BC = AD, CC1 = AA 1, AC 1 = a + b + c. (2) BD 1 = BD + DD 1,
1 1., BD 1 B 1 1 D 1, E F B 1 D 1. B = a, D = b, 1 = c. a, b, c : (1) 1 ; () BD 1 ; () F; D 1 F 1 (4) EF. : (1) B = D, D c b 1 E a B 1 1 = 1, B1 1 = B + B + 1, 1 = a + b + c. () BD 1 = BD + DD 1, BD =
Διαβάστε περισσότεραACTA MATHEMATICAE APPLICATAE SINICA Nov., ( µ ) ( (
35 Þ 6 Ð Å Vol. 35 No. 6 2012 11 ACTA MATHEMATICAE APPLICATAE SINICA Nov., 2012 È ÄÎ Ç ÓÑ ( µ 266590) (E-mail: jgzhu980@yahoo.com.cn) Ð ( Æ (Í ), µ 266555) (E-mail: bbhao981@yahoo.com.cn) Þ» ½ α- Ð Æ Ä
Διαβάστε περισσότερα