[¯|¯] Applicazione inversa

Archive for the ‘Algebra’ Category

[¯|¯] Applicazione inversa

lunedì, Giugno 11th, 2018

Comunque prendiamo un'applicazione bi-iettiva f:S->S', è univocamente determinata l'applicazione che associa all'elemento x' di S', l'elemento x di S tale che f(x)=x'. Infatti, l'iniettività implica l'unicità dell'elemento x:

Definizione
Chiamiamo applicazione inversa la predetta applicazione, denotandola con f^-1 e scrivendo:

applicazioni tra insiemi, applicazione inversa

Proposizione
Comunque prendiamo una biezione f:S'->S, si ha

Dimostrazione

onde

In maniera analoga si dimostra l'altra relazione.

Proposizione
Ipotesi: Per un'assegnata applicazione f:S->S', esiste un'applicazione g:S'->S tale che

Tesi:

f è una biezione

g=f^-1

Dimostrazione
Iniziamo con il dimostrare che f è bi-iettiva i.e. è suriettiva e iniettiva. Sia

Segue

In virtù dell'arbitrarietà di x' quale elemento di S', si ha

onde la suriettività di f.
Per dimostrare l'iniettività prendiamo

per cui

Cioè f è iniettiva. Per dimostrare il punto 2, consideriamo

Per la proprietà associativa

da cui l'asserto.

Sostienici

Vai alla lezione successiva

Vai alla lezione precedente

Indice delle lezioni

Posted in Algebra | No Comments »

[¯|¯] Composizione di applicazioni. Applicazione prodotto. Proprietà associativa del prodotto di applicazioni

sabato, Giugno 9th, 2018

Definizione
Date le applicazioni:

è univocamente determinata l'applicazione:

che si chiama applicazione prodotto e si indica con

Una denominazione alternativa è applicazione composta, di cui f è la "componente interna", e g e "componente interna".

Proposizione (Proprietà associativa del prodotto di applicazioni)
Assegnate le applicazioni: