Álgebras
4. Álgebras¶
1 - Considere o conjunto de funções do tipo \(f: \mathbb{R} \rightarrow \mathbb{R}\) e denotado por \(\mathcal{F}\) dotado de um produto \((fg) = f g\) (a multiplicação convencional), onde \(f,g \in \mathcal{F}\), formam uma álgebra.
Solução:
Observamos que o produto sde duas funções é também uma funcão, portanto o produto é um mapa \(\mathcal{F} \times \mathcal{F} \rightarrow \mathcal{F}\).
Verificamos as leis distributivas usando \(\alpha,\beta \in \mathbb{R}\) e \(f,g,h \in \mathcal{F}\):
As leis são obedecidas, pois a multiplicação de escalares por funções é comutativa.
Por fim definimos o “vetor zero” como a função \(o \in \mathcal{F}\) definida por \((x) \mapsto (0)\) e o escalar zero como \(0 \in \mathbb{R}\). Verificamos que
ou seja, o produto de uma função com a \(o\) sempre resulta em \(o\).
Sendo atendidas todas as exigências, vemos que esta construção forma uma álgebra.
2 - Sejam \(f,g \in \mathcal{F}\) definidas respectivamente por \((x) \mapsto (x^{2})\) e \((x) \mapsto (x+1)\). Mostre que o mapa \(\frac{d}{dx}: \mathcal{F} \rightarrow \mathcal{F}\) é uma derivação na álgebra \(\mathcal{F}\). Cálcule sua ação sobre \((fg)\).
Solução:
Esse mapa é uma derivação nesta álgebra, pois atende a regra de Leibniz:
resultando em:
3 - Considere a álgebra formada pelo conjunto de matrizes quadradas \(\mathcal{M}_{n}(\mathbb{R})\) e pelo produto de matrizes. Mostre o determinante \(det: \mathcal{M}_{n}(\mathbb{R}) \rightarrow \mathbb{R}\) é um homomorfismo desta álgebra.
Solução:
Dadas duas matrizes \(A,B \in \mathcal{M}_{n}(\mathbb{R})\) o determinante respeita a regra
\(det(AB) = det(A)det(B)\)
logo o determinante é um homomorfismo dest álgebra.
4 - Construa a derivação do homomorfismo do problema anterior usando o mapa \(\frac{d}{dx}: \mathcal{M}_{n}(\mathbb{R}) \rightarrow \mathcal{M}_{n}(\mathbb{R})\), sendo que os elementos das matrizes que compõem \(\mathcal{M}_{n}(\mathbb{R})\) são funções de \(x\).
Solução:
onde os termos \(det(B)\) e \(det(A)\) são escalares multiplicando as matrizes resultantes de \(\frac{d}{dx}(A)\) e \(\frac{d}{dx}(B)\) Respectivamente.
5 - Sejam \(A,B \in \mathcal{M}_{2}(\mathbb{R})\) definidas por