Problema

Seja um alfabeto de smbolos parcialmente ordenado por uma relao binria . Por definio, uma palavra uma seqncia qualquer de smbolos deste alfabeto. Para duas palavras a = aaa a e b = bbb b, estabelece-se tambm que a b, se e somente se, uma das condies a seguir verdadeira: a e b so iguais ou a = b no alfabeto na primeira posio i em que as palavras difiram ou a = b para i = 1, 2, ..., r mas r < v (esta a situao em que a palavra a mais curta que b e coincide com a seqncia inicial de smbolos de b). Provar que esta relao uma ordem parcial no conjunto de todas as palavras.

Observao
Pode-se tomar o alfabeto portugus como um caso particular de alfabeto descrito acima. Como esta ordenao das palavras coincide com a forma como as palavras surgem ordenadas nos dicionrios da lngua portuguesa, esta ordem chamada de lexicogrfica.

Resoluo
Considerando-se um alfabeto de smbolos parcialmente ordenado pela relao e, a partir desse alfabeto, quaisquer 2 palavras a = aaa a e b = bbb b com a relao definida como [1] a = b ou [2] a = b para 1 i r < v ou [3] a b na 1 posio i da diferena nas 2 palavras, quer se provar que a relao dos pares de palavras uma ordem parcial. Seja C o conjunto das palavras com smbolos desse alfabeto; assim, de acordo com a definio de ordem parcial, precisa-se demonstrar que a relao das palavras em C uma endorrelao simultaneamente reflexiva, anti-simtrica e transitiva. Evidenciam-se essas 3 propriedades presentes da relao uma de cada vez, isto , em trs etapas. De imediato, baseando-se no item [1] da definio da relao em C, tem-se que: ( p C, p = p) ( p C, p p) a auto-relao em C reflexiva A seguir, mostra-se que a relao binria em C anti-simtrica. Sejam p = ppp p e q = qqq q duas palavras quaisquer de C tais que p q e q p. Considerando-se que p q, da definio da relao em C, sabe-se que: [1] p = q ou [2] p = q para i = 1, 2, , r mas r < v ou [3] p q na primeira posio e em que p e q difiram. Considerando-se que q p por sua vez, tambm da definio da relao em C, sabe-se que: [1] q = p ou [2] q = p para i = 1, 2, , v mas v < r ou [3] q p na primeira posio u em que q e p difiram. Trivialmente, pode-se ver que o caso das 2 palavras (p e q ou q e p) serem (exatamente) iguais entre si tosomente o de [1] ou [1] e, da mesma forma, que o contrrio (as palavras so diferentes entre si por comprimento ou por existncia de smbolo diferente numa determinada posio na comparao das palavras) elimina a possibilidade de [1] e [1]. Supe-se, por absurdo, que ambas as palavras apresentem alguma diferena entre si (ou seja, descartam-se a 1 de 4

condio de [1] e [1]). Ao se tentar comparar as 2 palavras (p e q ou q e p) do incio ao fim delas (p e q ou q e p para i = 1, 2, ), pode-se acabar constatando que os smbolos das palavras so iguais at que uma das palavras termine antes (p = q ou q = p), ou seja, ela mais curta que a outra; nesse caso, como no se pode avanar na comparao (no existe p para i = r + 1, r + 2, , v ou q para i = v + 1, v + 2, , r) e assim no se pode encontrar nenhuma posio de smbolo das 2 palavras, observa-se que apenas [2] e [2] so aparentemente aceitveis (excluindose [3] e [3]). Contudo, tem-se que r < v para [2] e v < r para [2], o que impossvel. Sem a condio anterior de diferena (s de tamanho), por outro lado, pode-se comparar os smbolos das palavras entre si (p e q ou q e p) desde a primeira posio (p e q ou q e p para i = 1, 2, ) at uma posio em que os smbolos sejam diferentes; seja x o ndice dessa posio (p q ou q p). Nota-se que somente [3] e [3] so aparentemente aceitveis (excluindo-se [2] e [2]); da se tem que p q para [3] e q p para [3]. Porm, lembrando-se que a relao binria dos smbolos uma ordem parcial e conseqentemente antisimtrica, tem-se que p = q, o que impossvel pela definio de x. Tendo-se em conta que as palavras p e q so necessariamente iguais (novamente [1] e [1]) pelos 2 resultados absurdos obtidos anteriormente, ento se obtm que: ( p, q C, p q q p p = q) a endorrelao em C tem propriedade anti-simtrica Adiante, mostra-se que a auto-relao em C transitiva. Sejam p = ppp p, q = qqq q e s = sss s duas palavras quaisquer de C tais que p q e q s. Considerando-se que p q, da definio da relao em C, sabe-se que: [1] p = q ou [2] p = q para i = 1, 2, , r com r < v ou [3] p q na primeira posio e em que p e q difiram. Considerando-se que q s por sua vez, tambm da definio da relao em C, sabe-se que: [1] q = s ou [2] q = s para i = 1, 2, , v com v < x ou [3] q s na primeira posio u em que q e p difiram. Combinando-se as 3 possibilidades de p q com as 3 de q s, conseguem-se 33 = 9 casos combinados da condio simultnea de p q e q s, sendo todos casos possveis, como se pode ver nas explicaes restantes seguintes. [i] Pode-se notar que ([1]) p = q e ([1]) q = s implica p = s ou que, pelo item [1] da definio de em C, p q e q s implica p s.

[ii] Pode-se notar que ([1]) p = q, r = v e ([2]) q = s onde 1 i v < x implica p = s onde 1 i r < x ou que, pelo item [2] da definio de em C, p q e q s implica p s. [iii] Pode-se notar que ([1]) p = q e ([3]) q s na 1 posio u de diferena entre q e s implica p s onde u a 1 posio de diferena entre p e s ou que, pelo item [3] da definio de em C, p q e q s implica p s. [iv] Pode-se notar que ([2]) p = q onde 1 i r < v, ([1]) q = s e v = x implica p = s onde 1 i r < x ou que, pelo item [2] da definio de em C, p q e q s implica p s. 2 de 4

[v] Pode-se notar que ([2]) p = q onde 1 i r < v e ([2]) q = s onde 1 i v < x implica p = s onde 1 i r < x ou que, pelo item [2] da definio de em C, p q e q s implica p s. [vi] Presumindo-se inicialmente que ([2]) p = q onde 1 i r < v e ([3]) q s na 1 posio u de diferena entre q e s, pode-se estar diante de 2 possveis situaes: [vi.1] assumindo-se que r < u x, tem-se que p = s onde 1 i r < x e da se nota que, pelo item [2] da definio de em C, p q e q s implica p s; [vi.2] assumindo-se que u r, tem-se que p s onde u a 1 posio de diferena entre p e s e da se nota que, pelo item [3] da definio de em C, p q e q s implica p s. [vii] Pode-se notar que ([3]) p q na 1 posio e de diferena entre p e q e ([1]) q = s na 1 posio u de diferena entre q e s implica p s onde e a 1 posio de diferena entre p e s ou que, pelo item [3] da definio de em C, p q e q s implica p s. [viii] Pode-se notar que ([3]) p q na 1 posio e de diferena entre p e q e ([2]) q = s onde 1 i v < x implica p s onde e a 1 posio de diferena entre p e s ou que, pelo item [3] da definio de em C, p q e q s implica p s. [ix] Presumindo-se inicialmente que ([3]) p q na 1 posio e de diferena entre p e q e ([3]) q s na 1 posio u de diferena entre q e s, pode-se estar diante de 2 possveis situaes: [ix.1] assumindo-se que e u, tem-se que p s onde e a 1 posio de diferena entre p e s; [ix.2] assumindo-se que u < e, tem-se que p s onde u a 1 posio de diferena entre p e s. Ou seja, tem-se que p s onde = mn(e, u) que a 1 posio de diferena entre p e s ; da se nota que, pelo item [3] da definio de em C, p q e q s implica p s. Dos resultados obtidos em todos os 9 casos possveis de p q e q s ([i], [ii], [iii], [iv], [v], [vi], [vii], [viii] e [ix]), ento se obtm que: ( p, q C, p q q s p s) a relao em C transitiva A endorrelao em C tem simultaneamente as propriedades reflexiva, anti-simtrica e transitiva e, portanto, uma ordem parcial. CQD

Aproveito p/ sugerir q matemtica e qq outra matria mais fcil de ser estudada se tivermos QI maior; um modo gratuito de garantir q nosso QI no diminua mudar nosso estilo de vida p/ um mais feliz, saudvel e saboroso : http://www.youtube.com/watch?v=Xe_oNnBAtcs&cnl_tv=Supreme Master TV (informaes da Mensa Internacional a maior e mais antiga sociedade que rene pessoas com alto QI do mundo exibidas em um canal de TV global via satlite q traz entrevistas sobre vrios temas importantes c/ renomados especialistas locais, regionais, nacionais ou at internacionais dos vrios cantos do mundo), http://www.youtube.com/watch?v=U4lgWORL6Oc e http://www.youtube.com/watch?v=7x-UgndYFrA, lembrando q, por exemplo, mercrio um elemento encontrado em concentraes preocupantes em peixes e pode causar falhas de memria, dificuldade de prestar ateno, etc e at efeito desastroso no sistema nervoso. E, p/ quem gosta do planeta (beleza natural, etc) e das conquistas humanas (artes, conhecimento, etc), h outro vdeo do mesmo canal com msg importante de pessoas influentes e bem-sucedidas: http://www.youtube.com/watch?v=6q4ynXjr4h4 ou (s em ingls at pessoal de Hollywood) http://www.youtube.com/watch?v=UneYgIsTjwQ.

3 de 4

Fim!

Fonte
Foram consultados o ttulo Matemtica Discreta da coleo Schaum (2 edio reimpressa em 2008, livro disponvel em http://www.livrariasaraiva.com.br/produto/149556/matemtica-discreta-coleco-schaum ou http://compare.buscape.com.br/teoria-e-problemas-da-matematica-discreta-colecao-schaum-seymour-lipschutzmarc-lipson-8536303611.html, com alguma correozinha necessria justamente na subseo sobre endorrelaes) e o documento http://hermes.ucs.br/ccet/deme/matcomp/matdiscreta_58_59/apostila.pdf.

4 de 4