Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com...

68
Espaços shift Alfabeto finito Alfabeto enumerável Referências Grupos shift com operação componente a componente Teorema principal Grupos shift enumeráveis MARCELO SOBOTTKA UFSC-Brazil Este é um trabalho conjunto com Prof. Daniel Gonçalves (UFSC) e Dr. Charles Starling (uOttawa). Colóquio do Departamento de Matemática - UFSC Marcelo Sobottka Grupos shift enumeráveis

Transcript of Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com...

Page 1: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Grupos shift enumeráveis

MARCELO SOBOTTKAUFSC-Brazil

Este é um trabalho conjunto com Prof. Daniel Gonçalves (UFSC) e Dr.Charles Starling (uOttawa).

Colóquio do Departamento de Matemática - UFSC

Marcelo Sobottka Grupos shift enumeráveis

Page 2: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Seja A um conjunto enumerável com a topologia discretaO full shift sobre A é o conjunto

AS := (xi)i∈S : xi ∈ A ∀i ∈ S,

onde S = N ou S = ZConsidere em AS a topologia dos cilindros:

[a0a1 . . . an]j := x ∈ Λ : xj+i = ai 0 ≤ i ≤ n

Shift map:σ : AS → AS

(xi)i∈S 7→ (xi+1)i∈S

um espaço shift sobre A é qualquer conjunto Λ ⊂ AS

fechado e σ-invariante.Marcelo Sobottka Grupos shift enumeráveis

Page 3: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Seja A um conjunto enumerável com a topologia discretaO full shift sobre A é o conjunto

AS := (xi)i∈S : xi ∈ A ∀i ∈ S,

onde S = N ou S = ZConsidere em AS a topologia dos cilindros:

[a0a1 . . . an]j := x ∈ Λ : xj+i = ai 0 ≤ i ≤ n

Shift map:σ : AS → AS

(xi)i∈S 7→ (xi+1)i∈S

um espaço shift sobre A é qualquer conjunto Λ ⊂ AS

fechado e σ-invariante.Marcelo Sobottka Grupos shift enumeráveis

Page 4: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Seja A um conjunto enumerável com a topologia discretaO full shift sobre A é o conjunto

AS := (xi)i∈S : xi ∈ A ∀i ∈ S,

onde S = N ou S = ZConsidere em AS a topologia dos cilindros:

[a0a1 . . . an]j := x ∈ Λ : xj+i = ai 0 ≤ i ≤ n

Shift map:σ : AS → AS

(xi)i∈S 7→ (xi+1)i∈S

um espaço shift sobre A é qualquer conjunto Λ ⊂ AS

fechado e σ-invariante.Marcelo Sobottka Grupos shift enumeráveis

Page 5: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Seja A um conjunto enumerável com a topologia discretaO full shift sobre A é o conjunto

AS := (xi)i∈S : xi ∈ A ∀i ∈ S,

onde S = N ou S = ZConsidere em AS a topologia dos cilindros:

[a0a1 . . . an]j := x ∈ Λ : xj+i = ai 0 ≤ i ≤ n

Shift map:σ : AS → AS

(xi)i∈S 7→ (xi+1)i∈S

um espaço shift sobre A é qualquer conjunto Λ ⊂ AS

fechado e σ-invariante.Marcelo Sobottka Grupos shift enumeráveis

Page 6: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Seja A um conjunto enumerável com a topologia discretaO full shift sobre A é o conjunto

AS := (xi)i∈S : xi ∈ A ∀i ∈ S,

onde S = N ou S = ZConsidere em AS a topologia dos cilindros:

[a0a1 . . . an]j := x ∈ Λ : xj+i = ai 0 ≤ i ≤ n

Shift map:σ : AS → AS

(xi)i∈S 7→ (xi+1)i∈S

um espaço shift sobre A é qualquer conjunto Λ ⊂ AS

fechado e σ-invariante.Marcelo Sobottka Grupos shift enumeráveis

Page 7: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Seja A um conjunto enumerável com a topologia discretaO full shift sobre A é o conjunto

AS := (xi)i∈S : xi ∈ A ∀i ∈ S,

onde S = N ou S = ZConsidere em AS a topologia dos cilindros:

[a0a1 . . . an]j := x ∈ Λ : xj+i = ai 0 ≤ i ≤ n

Shift map:σ : AS → AS

(xi)i∈S 7→ (xi+1)i∈S

um espaço shift sobre A é qualquer conjunto Λ ⊂ AS

fechado e σ-invariante.Marcelo Sobottka Grupos shift enumeráveis

Page 8: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Para cada n ≥ 1, seja

Bn(Λ) := (a1 . . . an) : ∃x ∈ Λ, i ∈ S, xi+j−1 = aj ∀j = 1, . . . ,n;

a linguagem de Λ é

B(Λ) :=⋃n≥1

Bn(Λ);

denotaremos o conjunto das letras usadas em Λ porLΛ := B1(Λ);dado a ∈ B(AS), o k -ésimo follower set de a em Λ é oconjunto

Fk (Λ,a) := b ∈ Bk (Λ) : ab ∈ B(Λ);

Analogamente se define Pk (Λ,a), o k -ésimo predecessorset de a em Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 9: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Para cada n ≥ 1, seja

Bn(Λ) := (a1 . . . an) : ∃x ∈ Λ, i ∈ S, xi+j−1 = aj ∀j = 1, . . . ,n;

a linguagem de Λ é

B(Λ) :=⋃n≥1

Bn(Λ);

denotaremos o conjunto das letras usadas em Λ porLΛ := B1(Λ);dado a ∈ B(AS), o k -ésimo follower set de a em Λ é oconjunto

Fk (Λ,a) := b ∈ Bk (Λ) : ab ∈ B(Λ);

Analogamente se define Pk (Λ,a), o k -ésimo predecessorset de a em Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 10: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Para cada n ≥ 1, seja

Bn(Λ) := (a1 . . . an) : ∃x ∈ Λ, i ∈ S, xi+j−1 = aj ∀j = 1, . . . ,n;

a linguagem de Λ é

B(Λ) :=⋃n≥1

Bn(Λ);

denotaremos o conjunto das letras usadas em Λ porLΛ := B1(Λ);dado a ∈ B(AS), o k -ésimo follower set de a em Λ é oconjunto

Fk (Λ,a) := b ∈ Bk (Λ) : ab ∈ B(Λ);

Analogamente se define Pk (Λ,a), o k -ésimo predecessorset de a em Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 11: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Para cada n ≥ 1, seja

Bn(Λ) := (a1 . . . an) : ∃x ∈ Λ, i ∈ S, xi+j−1 = aj ∀j = 1, . . . ,n;

a linguagem de Λ é

B(Λ) :=⋃n≥1

Bn(Λ);

denotaremos o conjunto das letras usadas em Λ porLΛ := B1(Λ);dado a ∈ B(AS), o k -ésimo follower set de a em Λ é oconjunto

Fk (Λ,a) := b ∈ Bk (Λ) : ab ∈ B(Λ);

Analogamente se define Pk (Λ,a), o k -ésimo predecessorset de a em Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 12: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Para cada n ≥ 1, seja

Bn(Λ) := (a1 . . . an) : ∃x ∈ Λ, i ∈ S, xi+j−1 = aj ∀j = 1, . . . ,n;

a linguagem de Λ é

B(Λ) :=⋃n≥1

Bn(Λ);

denotaremos o conjunto das letras usadas em Λ porLΛ := B1(Λ);dado a ∈ B(AS), o k -ésimo follower set de a em Λ é oconjunto

Fk (Λ,a) := b ∈ Bk (Λ) : ab ∈ B(Λ);

Analogamente se define Pk (Λ,a), o k -ésimo predecessorset de a em Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 13: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Dizemos que um grupo (Λ, ∗) é um grupo shift, se Λ éespaço shift e ∗ é contínua e σ é automorfismo para ∗;Se (Λ, ∗) é grupo shift, se e só se ∗ é um siilding blockcode de Λ× Λ em Λ, isto é, se e só se existe `, r ≥ 0 talque para todo j ∈ S

Marcelo Sobottka Grupos shift enumeráveis

Page 14: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Dizemos que um grupo (Λ, ∗) é um grupo shift, se Λ éespaço shift e ∗ é contínua e σ é automorfismo para ∗;Se (Λ, ∗) é grupo shift, se e só se ∗ é um siilding blockcode de Λ× Λ em Λ, isto é, se e só se existe `, r ≥ 0 talque para todo j ∈ S

Marcelo Sobottka Grupos shift enumeráveis

Page 15: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Dizemos que um grupo (Λ, ∗) é um grupo shift, se Λ éespaço shift e ∗ é contínua e σ é automorfismo para ∗;Se (Λ, ∗) é grupo shift, se e só se ∗ é um siilding blockcode de Λ× Λ em Λ, isto é, se e só se existe `, r ≥ 0 talque para todo j ∈ S

Marcelo Sobottka Grupos shift enumeráveis

Page 16: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Shift spacesGrupos shift

Dizemos que um grupo (Λ, ∗) é um grupo shift, se Λ éespaço shift e ∗ é contínua e σ é automorfismo para ∗;Se (Λ, ∗) é grupo shift, se e só se ∗ é um siilding blockcode de Λ× Λ em Λ, isto é, se e só se existe `, r ≥ 0 talque para todo j ∈ S

Marcelo Sobottka Grupos shift enumeráveis

Page 17: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Quando Λ é espaço shift sobre um alfabeto finito e (Λ, ∗) égrupo shift, Kitchens [2] provou que:

existe um grupo finito (B, ·) e um espaço shift Γ ⊂ BS talque, (Γ, •) grupo shift com a operação • dada para todo(xi)i∈S, (yi)i∈S ∈ Γ por

(xi)i∈S • (yi)i∈S = (xi · yi)i∈S,

e (Λ, ∗) é isomorfo a (Γ, •).(Λ, ∗) é isomorfo a um grupo shift (Ω, ?), onde Ω é oproduto Cartesiano de um full shift com um espaço shiftfinito.

Marcelo Sobottka Grupos shift enumeráveis

Page 18: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Quando Λ é espaço shift sobre um alfabeto finito e (Λ, ∗) égrupo shift, Kitchens [2] provou que:

existe um grupo finito (B, ·) e um espaço shift Γ ⊂ BS talque, (Γ, •) grupo shift com a operação • dada para todo(xi)i∈S, (yi)i∈S ∈ Γ por

(xi)i∈S • (yi)i∈S = (xi · yi)i∈S,

e (Λ, ∗) é isomorfo a (Γ, •).(Λ, ∗) é isomorfo a um grupo shift (Ω, ?), onde Ω é oproduto Cartesiano de um full shift com um espaço shiftfinito.

Marcelo Sobottka Grupos shift enumeráveis

Page 19: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Quando Λ é espaço shift sobre um alfabeto finito e (Λ, ∗) égrupo shift, Kitchens [2] provou que:

existe um grupo finito (B, ·) e um espaço shift Γ ⊂ BS talque, (Γ, •) grupo shift com a operação • dada para todo(xi)i∈S, (yi)i∈S ∈ Γ por

(xi)i∈S • (yi)i∈S = (xi · yi)i∈S,

e (Λ, ∗) é isomorfo a (Γ, •).(Λ, ∗) é isomorfo a um grupo shift (Ω, ?), onde Ω é oproduto Cartesiano de um full shift com um espaço shiftfinito.

Marcelo Sobottka Grupos shift enumeráveis

Page 20: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 1:

G = Z com a soma usual;Λ := (xi)i∈S ∈ GS : (xi − xi+2) ∈ 2Z, ∀i ∈ S;seja • a operação componente a componente induzidapela soma em G;(Λ, •) é um grupo shift.Denotando por E := 2Z e O := 1 + E , para cada k ≥ 1 en ≥ 2, dado a = (a1, . . . ,an) ∈ Bn(Λ) temos

Fk (Λ, a) =

Ek , if an−1 e an são pares,Ok , if an−1 e an são ímpares,

E ×O × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é par e an é ímpar,

O × E × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é ímpar ean é par.

Marcelo Sobottka Grupos shift enumeráveis

Page 21: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 1:

G = Z com a soma usual;Λ := (xi)i∈S ∈ GS : (xi − xi+2) ∈ 2Z, ∀i ∈ S;seja • a operação componente a componente induzidapela soma em G;(Λ, •) é um grupo shift.Denotando por E := 2Z e O := 1 + E , para cada k ≥ 1 en ≥ 2, dado a = (a1, . . . ,an) ∈ Bn(Λ) temos

Fk (Λ, a) =

Ek , if an−1 e an são pares,Ok , if an−1 e an são ímpares,

E ×O × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é par e an é ímpar,

O × E × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é ímpar ean é par.

Marcelo Sobottka Grupos shift enumeráveis

Page 22: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 1:

G = Z com a soma usual;Λ := (xi)i∈S ∈ GS : (xi − xi+2) ∈ 2Z, ∀i ∈ S;seja • a operação componente a componente induzidapela soma em G;(Λ, •) é um grupo shift.Denotando por E := 2Z e O := 1 + E , para cada k ≥ 1 en ≥ 2, dado a = (a1, . . . ,an) ∈ Bn(Λ) temos

Fk (Λ, a) =

Ek , if an−1 e an são pares,Ok , if an−1 e an são ímpares,

E ×O × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é par e an é ímpar,

O × E × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é ímpar ean é par.

Marcelo Sobottka Grupos shift enumeráveis

Page 23: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 1:

G = Z com a soma usual;Λ := (xi)i∈S ∈ GS : (xi − xi+2) ∈ 2Z, ∀i ∈ S;seja • a operação componente a componente induzidapela soma em G;(Λ, •) é um grupo shift.Denotando por E := 2Z e O := 1 + E , para cada k ≥ 1 en ≥ 2, dado a = (a1, . . . ,an) ∈ Bn(Λ) temos

Fk (Λ, a) =

Ek , if an−1 e an são pares,Ok , if an−1 e an são ímpares,

E ×O × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é par e an é ímpar,

O × E × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é ímpar ean é par.

Marcelo Sobottka Grupos shift enumeráveis

Page 24: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 1:

G = Z com a soma usual;Λ := (xi)i∈S ∈ GS : (xi − xi+2) ∈ 2Z, ∀i ∈ S;seja • a operação componente a componente induzidapela soma em G;(Λ, •) é um grupo shift.Denotando por E := 2Z e O := 1 + E , para cada k ≥ 1 en ≥ 2, dado a = (a1, . . . ,an) ∈ Bn(Λ) temos

Fk (Λ, a) =

Ek , if an−1 e an são pares,Ok , if an−1 e an são ímpares,

E ×O × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é par e an é ímpar,

O × E × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é ímpar ean é par.

Marcelo Sobottka Grupos shift enumeráveis

Page 25: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 1:

G = Z com a soma usual;Λ := (xi)i∈S ∈ GS : (xi − xi+2) ∈ 2Z, ∀i ∈ S;seja • a operação componente a componente induzidapela soma em G;(Λ, •) é um grupo shift.Denotando por E := 2Z e O := 1 + E , para cada k ≥ 1 en ≥ 2, dado a = (a1, . . . ,an) ∈ Bn(Λ) temos

Fk (Λ, a) =

Ek , if an−1 e an são pares,Ok , if an−1 e an são ímpares,

E ×O × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é par e an é ímpar,

O × E × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é ímpar ean é par.

Marcelo Sobottka Grupos shift enumeráveis

Page 26: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 1:

G = Z com a soma usual;Λ := (xi)i∈S ∈ GS : (xi − xi+2) ∈ 2Z, ∀i ∈ S;seja • a operação componente a componente induzidapela soma em G;(Λ, •) é um grupo shift.Denotando por E := 2Z e O := 1 + E , para cada k ≥ 1 en ≥ 2, dado a = (a1, . . . ,an) ∈ Bn(Λ) temos

Fk (Λ, a) =

Ek , if an−1 e an são pares,Ok , if an−1 e an são ímpares,

E ×O × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é par e an é ímpar,

O × E × . . . ,︸ ︷︷ ︸k produto Cartesiana alternado

se an−1 é ímpar ean é par.

Marcelo Sobottka Grupos shift enumeráveis

Page 27: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 2:

Para cada i ∈ N, seja Gi := Z2i ;para cada i ∈ N, seja γi : Gi → Gi+1 o homomorfismodado por γi(g) := 2g;seja G o limite direto associado a Gi , γi, isto é, oconjunto das classes de equivalência [g, i]

⋃n∈N Gn, onde

i ∈ N e g ∈ Gi ,

[g, i] = [h, j]⇐⇒ existe k ≥ i , j tal que γi,k (g) = γj,k (h).

seja · a operação de grupo em G dada por:

[g, i] · [h, j] = [γi,j(g) + h, j], se i ≤ j

e[g, i] · [h, j] = [g + γj,i(h), i] se i ≥ j ;

Marcelo Sobottka Grupos shift enumeráveis

Page 28: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 2:

Para cada i ∈ N, seja Gi := Z2i ;para cada i ∈ N, seja γi : Gi → Gi+1 o homomorfismodado por γi(g) := 2g;seja G o limite direto associado a Gi , γi, isto é, oconjunto das classes de equivalência [g, i]

⋃n∈N Gn, onde

i ∈ N e g ∈ Gi ,

[g, i] = [h, j]⇐⇒ existe k ≥ i , j tal que γi,k (g) = γj,k (h).

seja · a operação de grupo em G dada por:

[g, i] · [h, j] = [γi,j(g) + h, j], se i ≤ j

e[g, i] · [h, j] = [g + γj,i(h), i] se i ≥ j ;

Marcelo Sobottka Grupos shift enumeráveis

Page 29: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 2:

Para cada i ∈ N, seja Gi := Z2i ;para cada i ∈ N, seja γi : Gi → Gi+1 o homomorfismodado por γi(g) := 2g;seja G o limite direto associado a Gi , γi, isto é, oconjunto das classes de equivalência [g, i]

⋃n∈N Gn, onde

i ∈ N e g ∈ Gi ,

[g, i] = [h, j]⇐⇒ existe k ≥ i , j tal que γi,k (g) = γj,k (h).

seja · a operação de grupo em G dada por:

[g, i] · [h, j] = [γi,j(g) + h, j], se i ≤ j

e[g, i] · [h, j] = [g + γj,i(h), i] se i ≥ j ;

Marcelo Sobottka Grupos shift enumeráveis

Page 30: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Exemplo 2:

Para cada i ∈ N, seja Gi := Z2i ;para cada i ∈ N, seja γi : Gi → Gi+1 o homomorfismodado por γi(g) := 2g;seja G o limite direto associado a Gi , γi, isto é, oconjunto das classes de equivalência [g, i]

⋃n∈N Gn, onde

i ∈ N e g ∈ Gi ,

[g, i] = [h, j]⇐⇒ existe k ≥ i , j tal que γi,k (g) = γj,k (h).

seja · a operação de grupo em G dada por:

[g, i] · [h, j] = [γi,j(g) + h, j], se i ≤ j

e[g, i] · [h, j] = [g + γj,i(h), i] se i ≥ j ;

Marcelo Sobottka Grupos shift enumeráveis

Page 31: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

seja H := g ∈ G : g = [g,1] = [0,1], [1,1];dado g = [g, i] ∈ G defina seu follower set como

F1(Λ, g) := [g, i +1]·H = [g, i +1], [2i +g (mod 2i+1) , i +1];

definimos Λ ⊂ GS como o espaço shift

Λ := (gi)i∈S : gi+1 ∈ F1(Λ, gi),

Marcelo Sobottka Grupos shift enumeráveis

Page 32: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

seja H := g ∈ G : g = [g,1] = [0,1], [1,1];dado g = [g, i] ∈ G defina seu follower set como

F1(Λ, g) := [g, i +1]·H = [g, i +1], [2i +g (mod 2i+1) , i +1];

definimos Λ ⊂ GS como o espaço shift

Λ := (gi)i∈S : gi+1 ∈ F1(Λ, gi),

Marcelo Sobottka Grupos shift enumeráveis

Page 33: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

seja H := g ∈ G : g = [g,1] = [0,1], [1,1];dado g = [g, i] ∈ G defina seu follower set como

F1(Λ, g) := [g, i +1]·H = [g, i +1], [2i +g (mod 2i+1) , i +1];

definimos Λ ⊂ GS como o espaço shift

Λ := (gi)i∈S : gi+1 ∈ F1(Λ, gi),

Marcelo Sobottka Grupos shift enumeráveis

Page 34: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Marcelo Sobottka Grupos shift enumeráveis

Page 35: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Seja (G, ·) um grupo e seja • a operação componente acomponente definida em GS.Denote por 1G a identidade de GZ, e suponha que (Λ, •) é umgrupo shift com LΛ = G.

Proposição

Para cada k ,n ≥ 1, temos que Fk (Λ,1nG) e Pk (Λ,1n

G) sãosubgrupos normais de Bk (Λ), ·).

Marcelo Sobottka Grupos shift enumeráveis

Page 36: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Seja (G, ·) um grupo e seja • a operação componente acomponente definida em GS.Denote por 1G a identidade de GZ, e suponha que (Λ, •) é umgrupo shift com LΛ = G.

Proposição

Para cada k ,n ≥ 1, temos que Fk (Λ,1nG) e Pk (Λ,1n

G) sãosubgrupos normais de Bk (Λ), ·).

Marcelo Sobottka Grupos shift enumeráveis

Page 37: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Seja (G, ·) um grupo e seja • a operação componente acomponente definida em GS.Denote por 1G a identidade de GZ, e suponha que (Λ, •) é umgrupo shift com LΛ = G.

Proposição

Para cada k ,n ≥ 1, temos que Fk (Λ,1nG) e Pk (Λ,1n

G) sãosubgrupos normais de Bk (Λ), ·).

Marcelo Sobottka Grupos shift enumeráveis

Page 38: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Teorema

Para cada k ,n ≥ 1 e a ∈ Bn(Λ) temos que1 b ∈ Fk (Λ,a) se e só se

b · Fk (Λ,1nG) = Fk (Λ,1n

G) · b = Fk (Λ,a).2 b ∈ Pk (Λ,a) se e só se

b · Pk (Λ,1nG) = Pk (Λ,1n

G) · b = Pk (Λ,a).

Marcelo Sobottka Grupos shift enumeráveis

Page 39: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Corolário

Para todo k ,n ≥ 1 temos que os membros das famíliasLn,k

—A := Fk (Λ,a) : a ∈ Bn(Λ) e Ln,kA := Pk (Λ,a) : a ∈ Bn(Λ)

são disjuntos dois a dois.Ademais, (Ln,k

—A , ·) e (Ln,kA , ·) são grupos e para todo

a,b ∈ Bn(Λ), nós temos que:

1 |Fk (Λ,a)| = |Fk (Λ,b)| e |Pk (Λ,a)| = |Pk (Λ,b)|;2 Fk (Λ,a) · Fk (Λ,b) = Fk (Λ,a · b) ePk (Λ,a) · Pk (Λ,b) = Pk (Λ,a · b).

Marcelo Sobottka Grupos shift enumeráveis

Page 40: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Corolário

Para todo k ,n ≥ 1 temos que os membros das famíliasLn,k

—A := Fk (Λ,a) : a ∈ Bn(Λ) e Ln,kA := Pk (Λ,a) : a ∈ Bn(Λ)

são disjuntos dois a dois.Ademais, (Ln,k

—A , ·) e (Ln,kA , ·) são grupos e para todo

a,b ∈ Bn(Λ), nós temos que:

1 |Fk (Λ,a)| = |Fk (Λ,b)| e |Pk (Λ,a)| = |Pk (Λ,b)|;2 Fk (Λ,a) · Fk (Λ,b) = Fk (Λ,a · b) ePk (Λ,a) · Pk (Λ,b) = Pk (Λ,a · b).

Marcelo Sobottka Grupos shift enumeráveis

Page 41: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Corolário

Para todo k ,n ≥ 1 temos que os membros das famíliasLn,k

—A := Fk (Λ,a) : a ∈ Bn(Λ) e Ln,kA := Pk (Λ,a) : a ∈ Bn(Λ)

são disjuntos dois a dois.Ademais, (Ln,k

—A , ·) e (Ln,kA , ·) são grupos e para todo

a,b ∈ Bn(Λ), nós temos que:

1 |Fk (Λ,a)| = |Fk (Λ,b)| e |Pk (Λ,a)| = |Pk (Λ,b)|;2 Fk (Λ,a) · Fk (Λ,b) = Fk (Λ,a · b) ePk (Λ,a) · Pk (Λ,b) = Pk (Λ,a · b).

Marcelo Sobottka Grupos shift enumeráveis

Page 42: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Corolário

Para todo k ,n ≥ 1 temos que os membros das famíliasLn,k

—A := Fk (Λ,a) : a ∈ Bn(Λ) e Ln,kA := Pk (Λ,a) : a ∈ Bn(Λ)

são disjuntos dois a dois.Ademais, (Ln,k

—A , ·) e (Ln,kA , ·) são grupos e para todo

a,b ∈ Bn(Λ), nós temos que:

1 |Fk (Λ,a)| = |Fk (Λ,b)| e |Pk (Λ,a)| = |Pk (Λ,b)|;2 Fk (Λ,a) · Fk (Λ,b) = Fk (Λ,a · b) ePk (Λ,a) · Pk (Λ,b) = Pk (Λ,a · b).

Marcelo Sobottka Grupos shift enumeráveis

Page 43: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

Para todo k ,n ≥ 1 temos que (Ln,k—A , ·) e (Lk ,n

A , ·) são isomorfos.

A porposição acima implica que:

Corolário

Para todo k ,n ≥ 1 temos |Ln,k—A | = |Lk ,n

A |.

Marcelo Sobottka Grupos shift enumeráveis

Page 44: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

Para todo k ,n ≥ 1 temos que (Ln,k—A , ·) e (Lk ,n

A , ·) são isomorfos.

A porposição acima implica que:

Corolário

Para todo k ,n ≥ 1 temos |Ln,k—A | = |Lk ,n

A |.

Marcelo Sobottka Grupos shift enumeráveis

Page 45: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

Para todo k ,n ≥ 1 temos que (Ln,k—A , ·) e (Lk ,n

A , ·) são isomorfos.

A porposição acima implica que:

Corolário

Para todo k ,n ≥ 1 temos |Ln,k—A | = |Lk ,n

A |.

Marcelo Sobottka Grupos shift enumeráveis

Page 46: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Definição

Suponha (G, ·) um grupo e um grupo shift (Λ, •) con LΛ = G.Considere o grupo (L1,1

—A , ·) e o correspondente grupo shift

(L1,1—A

Z, •).

Marcelo Sobottka Grupos shift enumeráveis

Page 47: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Definição

Considere o sliding block code

θ : Λ→ (L1,1—A

Z, •)

dado para todo x ∈ Λ e i ∈ Z por(θ(x)

)i := F1(Λ, xi−1)

Marcelo Sobottka Grupos shift enumeráveis

Page 48: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

θ é um homomorfismo. Ademais,1 se Λ é Markoviano, então Λ := θ(Λ) é shift Markoviano;2 se F1(Λ,1G) ∩ P1(Λ,1G) = 1G, então

1 θ é isomorfismo entre Λ e Λ;2 Λ e Λ são Markovianos.

Λ é chamado follower-set shift de Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 49: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

θ é um homomorfismo. Ademais,1 se Λ é Markoviano, então Λ := θ(Λ) é shift Markoviano;2 se F1(Λ,1G) ∩ P1(Λ,1G) = 1G, então

1 θ é isomorfismo entre Λ e Λ;2 Λ e Λ são Markovianos.

Λ é chamado follower-set shift de Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 50: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

θ é um homomorfismo. Ademais,1 se Λ é Markoviano, então Λ := θ(Λ) é shift Markoviano;2 se F1(Λ,1G) ∩ P1(Λ,1G) = 1G, então

1 θ é isomorfismo entre Λ e Λ;2 Λ e Λ são Markovianos.

Λ é chamado follower-set shift de Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 51: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

θ é um homomorfismo. Ademais,1 se Λ é Markoviano, então Λ := θ(Λ) é shift Markoviano;2 se F1(Λ,1G) ∩ P1(Λ,1G) = 1G, então

1 θ é isomorfismo entre Λ e Λ;2 Λ e Λ são Markovianos.

Λ é chamado follower-set shift de Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 52: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

θ é um homomorfismo. Ademais,1 se Λ é Markoviano, então Λ := θ(Λ) é shift Markoviano;2 se F1(Λ,1G) ∩ P1(Λ,1G) = 1G, então

1 θ é isomorfismo entre Λ e Λ;2 Λ e Λ são Markovianos.

Λ é chamado follower-set shift de Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 53: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

θ é um homomorfismo. Ademais,1 se Λ é Markoviano, então Λ := θ(Λ) é shift Markoviano;2 se F1(Λ,1G) ∩ P1(Λ,1G) = 1G, então

1 θ é isomorfismo entre Λ e Λ;2 Λ e Λ são Markovianos.

Λ é chamado follower-set shift de Λ.

Marcelo Sobottka Grupos shift enumeráveis

Page 54: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Considere o subgrupo normal de (G, ·),H := F1(Λ,1G) ∩ P1(Λ,1G).

Definição

LA := LΛ/H = a · H : a ∈ LΛ,

o qual é um grupo com a operação ·.

Definição

Definimos Λ[0] = Λ e, para n ≥ 1, definimos Λ[n] como ofollower-set shift de Λ[n−1].Denote por H[n] := F1(Λ[n],1[n]) ∩ P1(Λ[n],1[n]), subgruponormal do grupo alfabeto L[n]

Λ := B1(Λ[n]).

Marcelo Sobottka Grupos shift enumeráveis

Page 55: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Considere o subgrupo normal de (G, ·),H := F1(Λ,1G) ∩ P1(Λ,1G).

Definição

LA := LΛ/H = a · H : a ∈ LΛ,

o qual é um grupo com a operação ·.

Definição

Definimos Λ[0] = Λ e, para n ≥ 1, definimos Λ[n] como ofollower-set shift de Λ[n−1].Denote por H[n] := F1(Λ[n],1[n]) ∩ P1(Λ[n],1[n]), subgruponormal do grupo alfabeto L[n]

Λ := B1(Λ[n]).

Marcelo Sobottka Grupos shift enumeráveis

Page 56: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Considere o subgrupo normal de (G, ·),H := F1(Λ,1G) ∩ P1(Λ,1G).

Definição

LA := LΛ/H = a · H : a ∈ LΛ,

o qual é um grupo com a operação ·.

Definição

Definimos Λ[0] = Λ e, para n ≥ 1, definimos Λ[n] como ofollower-set shift de Λ[n−1].Denote por H[n] := F1(Λ[n],1[n]) ∩ P1(Λ[n],1[n]), subgruponormal do grupo alfabeto L[n]

Λ := B1(Λ[n]).

Marcelo Sobottka Grupos shift enumeráveis

Page 57: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Considere o subgrupo normal de (G, ·),H := F1(Λ,1G) ∩ P1(Λ,1G).

Definição

LA := LΛ/H = a · H : a ∈ LΛ,

o qual é um grupo com a operação ·.

Definição

Definimos Λ[0] = Λ e, para n ≥ 1, definimos Λ[n] como ofollower-set shift de Λ[n−1].Denote por H[n] := F1(Λ[n],1[n]) ∩ P1(Λ[n],1[n]), subgruponormal do grupo alfabeto L[n]

Λ := B1(Λ[n]).

Marcelo Sobottka Grupos shift enumeráveis

Page 58: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Fractal Shift

Definição

Λ é dito fractal se para todo n ≥ 0 temos que H[n] é conjuntounitário. No caso particular em que Λ[1] = Λ, diremos que Λ éauto similar, e se Λ[n] = Λ[n−1] para agum n ≥ 2 diremos que Λé auto similar no nível n.

Marcelo Sobottka Grupos shift enumeráveis

Page 59: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Seja S : LA → LΛ seção qualquer de LA, isto é para todoH1 ∈ LA, S(H1) ∈ H1.

Proposição.

1 Para todo a ∈ LΛ, (S(a · H)−1 · a) ∈ H.2 ϕ : LΛ → LA ×H dado por ϕ(a) =

(a · H,S(a · H)−1 · a

uma bijeção.3 ϕ é isomorfismo de (LΛ, •) com (LA ×H, ) , onde é dada

por

(H1,h1) (H2,h2) := ϕ[ϕ−1(H1,h1) · ϕ−1(H2,h2)

].

Marcelo Sobottka Grupos shift enumeráveis

Page 60: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Seja S : LA → LΛ seção qualquer de LA, isto é para todoH1 ∈ LA, S(H1) ∈ H1.

Proposição.

1 Para todo a ∈ LΛ, (S(a · H)−1 · a) ∈ H.2 ϕ : LΛ → LA ×H dado por ϕ(a) =

(a · H,S(a · H)−1 · a

uma bijeção.3 ϕ é isomorfismo de (LΛ, •) com (LA ×H, ) , onde é dada

por

(H1,h1) (H2,h2) := ϕ[ϕ−1(H1,h1) · ϕ−1(H2,h2)

].

Marcelo Sobottka Grupos shift enumeráveis

Page 61: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Seja S : LA → LΛ seção qualquer de LA, isto é para todoH1 ∈ LA, S(H1) ∈ H1.

Proposição.

1 Para todo a ∈ LΛ, (S(a · H)−1 · a) ∈ H.2 ϕ : LΛ → LA ×H dado por ϕ(a) =

(a · H,S(a · H)−1 · a

uma bijeção.3 ϕ é isomorfismo de (LΛ, •) com (LA ×H, ) , onde é dada

por

(H1,h1) (H2,h2) := ϕ[ϕ−1(H1,h1) · ϕ−1(H2,h2)

].

Marcelo Sobottka Grupos shift enumeráveis

Page 62: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Seja S : LA → LΛ seção qualquer de LA, isto é para todoH1 ∈ LA, S(H1) ∈ H1.

Proposição.

1 Para todo a ∈ LΛ, (S(a · H)−1 · a) ∈ H.2 ϕ : LΛ → LA ×H dado por ϕ(a) =

(a · H,S(a · H)−1 · a

uma bijeção.3 ϕ é isomorfismo de (LΛ, •) com (LA ×H, ) , onde é dada

por

(H1,h1) (H2,h2) := ϕ[ϕ−1(H1,h1) · ϕ−1(H2,h2)

].

Marcelo Sobottka Grupos shift enumeráveis

Page 63: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Definição

Definimos φ : Λ→ LASΛ×HS, dado para todo x ∈ Λ e i ∈ Z por(φ(x)

)i := ϕ(xi) =

(xi · H,S(xi · H)−1 · xi

)(1)

Marcelo Sobottka Grupos shift enumeráveis

Page 64: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

Seja (Λ, •) grupo shift Markoviano. Então, existe Λ ⊂ LSA, um

subgrupo shift, tal que φ(Λ) = Λ×HZ. Ademais:

φ é isomorfismo entre (Λ, •) and (Λ×HN, ?), onde ? é aoperação induzida em Λ×HZ pela operação ;Λ é tal que F1(Λ,H) ∩ P1(Λ,H) = H.

Marcelo Sobottka Grupos shift enumeráveis

Page 65: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

Propriedades geraisGrupos shift Markovianos

Proposição

Seja (Λ, •) grupo shift Markoviano. Então, existe Λ ⊂ LSA, um

subgrupo shift, tal que φ(Λ) = Λ×HZ. Ademais:

φ é isomorfismo entre (Λ, •) and (Λ×HN, ?), onde ? é aoperação induzida em Λ×HZ pela operação ;Λ é tal que F1(Λ,H) ∩ P1(Λ,H) = H.

Marcelo Sobottka Grupos shift enumeráveis

Page 66: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

TeoremaSe (Λ, •) grupo shift Markoviano, então é isomorfo um gruposhift Markoviano (F× BZ, ?), onde F fractal shift e BZ é um fullshift sobre um alfabeto enumerável B.

Marcelo Sobottka Grupos shift enumeráveis

Page 67: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

proof

Marcelo Sobottka Grupos shift enumeráveis

Page 68: Grupos shift enumeráveismtm.ufsc.br/~coloquio/20162/slides/sobottka.pdf · Grupos shift com operação componente a componente Teorema principal Shift spaces Grupos shift Seja A

Espaços shiftAlfabeto finito

Alfabeto enumerávelReferências

Grupos shift com operação componente a componenteTeorema principal

D. Gonçalves, M. Sobottka and C. StarlingInverse semigroup shifts over countable alphabets. Preprint on arXiv, (2015).

B. P. Kitchens,Expansive dynamics on zero-dimensional groups,Ergodic Theory and Dynamical Systems, 7 (1987), 249–261.

N. T. Sindhushayana, B. Marcus and M. Trott,Homogeneous shifts,IMA J. Math. Control Inform., 14 (1997), 255–287

M. Sobottka,Topological quasi-group shifts,Disc. and Contin. Dyn. Syst., 17 (2007), 77–93.

Marcelo Sobottka Grupos shift enumeráveis