{"id":2338,"date":"2023-05-17T08:07:59","date_gmt":"2023-05-17T11:07:59","guid":{"rendered":"http:\/\/localhost\/?page_id=2338"},"modified":"2023-05-24T10:17:28","modified_gmt":"2023-05-24T13:17:28","slug":"formas-sesquilineares","status":"publish","type":"page","link":"http:\/\/localhost\/index.php\/ensino\/algebra-linear-ii\/formas-sesquilineares\/","title":{"rendered":"Formas sesquilineares"},"content":{"rendered":"
2. Se $\\F=\\C$, ent\u00e3o $\\sigma:\\C\\to \\C$, $z^\\sigma=\\bar z$ (conjugado complexo) \u00e9 um automorfismo de $\\C$.<\/p>\n
3. Se $\\F$ \u00e9 um corpo de carater\u00edstica $p$ (primo), ent\u00e3o a aplica\u00e7\u00e3o $\\varphi:a\\mapsto a^p$ \u00e9 injetiva e satisfaz as duas propriedades na defini\u00e7\u00e3o de automorfismo. Para um corpo arbitr\u00e1rio, $\\varphi$ n\u00e3o precisa ser sobrejetiva, mas se $\\F$ \u00e9 finito, ent\u00e3o $\\varphi$, sendo injetiva, ser\u00e1 obrigatoriamente sobrejetiva e \u00e9 um automorfismo. O automorfismo $\\varphi$ de um corpo finito $\\F$ \u00e9 chamado de automorfismo de Frobenius<\/b>.<\/p>\n
4. \u00c9 f\u00e1cil provar que a composi\u00e7\u00e3o de automorfismos \u00e9 automorfismo. Em particular, se $\\F$ \u00e9 um corpo finito de carater\u00edstica $p$, ent\u00e3o
\n\\[
\n\\varphi^k:\\F\\to \\F, \\quad a\\mapsto a^{p^k}
\n\\]
\n\u00e9 um automorfismo de $\\F$. Voc\u00eas v\u00e3o aprender na disciplina Grupos e Corpos que todos os automorfismos de corpos finitos t\u00eam esta forma.<\/p>\n
5. Se
\n\\[
\n\\F=\\{a+b\\sqrt 2\\mid a,b \\in \\Q\\},
\n\\]
\nent\u00e3o $a+b\\sqrt 2\\mapsto a-b\\sqrt 2$ \u00e9 um automorfismo.<\/p>\n<\/div>\n
Ou seja, uma forma sesquilinear, \u00e9 uma forma de duas vari\u00e1veis que \u00e9 linear na primeira vari\u00e1vel e $\\sigma$-semilinear na segunda.<\/p>\n<\/div>\n
2. Com $u,v\\in V$, calculemos que
\n\\begin{align*}
\n0&=B(u+v,u+v)=B(u,u)+B(u,v)+B(v,u)+B(v,v)\\\\&=B(u,v)+B(v,u).
\n\\end{align*}
\nLogo $B(u,v)=-B(v,u)$.<\/p>\n
3. Escolhe $u,v\\in V$ tal que $B(u,v)=-B(v,u)=1$ (\u00e9 poss\u00edvel trocando $u$ por um m\u00faltiplo escalar) e seja $\\alpha\\in \\F$. Agora
\n\\[
\n\\alpha^\\sigma=B(u,\\alpha v)=-B(\\alpha v,u)=-\\alpha B(v,u)=\\alpha.
\n\\]
\nOu seja $\\alpha^\\sigma=\\alpha$ para todo $\\alpha\\in\\F$ e $\\sigma=\\mbox{id}_\\F$.<\/p>\n
4. Assuma que $B(u,v)=-B(v,u)$ para todo $u,v$. Ent\u00e3o $B(u,u)=-B(u,u)$ ou seja $2B(u,u)=0$ para todo $u\\in V$. Se a carater\u00edstica do corpo \u00e9 diferente de $2$, isso implica que $B(u,u)=0$ para todo $u\\in V$.<\/p>\n<\/div>\n
Em particular, se $B$ for sim\u00e9trica e $\\mbox{car}(\\F)\\neq 2$, ent\u00e3o
\n\\[
\nB(u,v)=\\frac 12(Q(u+v)-Q(u)-Q(v))
\n\\]
\ne $B$ est\u00e1 determinada por $Q$.<\/p>\n<\/div>\n
Na situa\u00e7\u00e3o do item 4. do resultado anterior, se $U\\cap U^\\perp=0$, ent\u00e3o $V=U\\oplus U^\\perp$ e $U^\\perp$ \u00e9 chamado de complemento ortogonal<\/b> de $U$. Neste caso, escrevemos que $V=U\\perp U^\\perp$ para indicar que os dois espa\u00e7os na decomposi\u00e7\u00e3o s\u00e3o ortogonais.<\/p>\n Se $\\F$ \u00e9 um corpo, uma aplica\u00e7\u00e3o bijetiva $\\sigma:\\F\\to \\F$, $a\\mapsto a^\\sigma$, chama-se automorfismo, se $(a+b)^\\sigma=a^\\sigma+b^\\sigma$; $(ab)^\\sigma=a^\\sigma b^\\sigma$. 1. A bije\u00e7\u00e3o $\\mbox{id}_\\F$ \u00e9 automorfismo para todo corpo $\\F$. Este automorfismo chama-se automorfismo trivial. Os corpos $\\Q$, $\\Z_p$ n\u00e3o t\u00eam automorfismos n\u00e3o triviais (consegue demonstrar?). 2. Se $\\F=\\C$, ent\u00e3o $\\sigma:\\C\\to \\C$, $z^\\sigma=\\bar z$ (conjugado complexo) \u00e9 … Continue reading Formas sesquilineares<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":2021,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/2338"}],"collection":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/comments?post=2338"}],"version-history":[{"count":10,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/2338\/revisions"}],"predecessor-version":[{"id":2368,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/2338\/revisions\/2368"}],"up":[{"embeddable":true,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/2021"}],"wp:attachment":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/media?parent=2338"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n\\[
\n\\begin{pmatrix} 0 & 2 \\\\ 2 & 0\\end{pmatrix}
\n\\]
\nSe $U=\\langle (1,i)\\rangle$, ent\u00e3o $U^\\perp =U$ e $\\C^2\\neq U\\oplus U^\\perp$. Ou seja, o espa\u00e7o ortogonal $U^\\perp$ n\u00e3o \u00e9 complemento ortogonal de $U$.<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"