Teoria dos conjuntos/Explorando os axiomas da extensão, separação, par e união: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Ampliando e plantando sementinhas do Mal |
|||
Linha 33:
== Funções ==
Funções são um tipo especial de relação, satisfazendo as propriedades tradicionais. Em vez de ''((A, B), f)'' para a função, representa-se por: <math>f: A \to B\,</math>. Aqui, analogamente, ''f'' é o gráfico da função/relação; muitas vezes, por descuido de linguagem, usa-se ''função'' para ''f'' (e não para a ''((A, B), f)'') quando o objetivo é falar do seu ''gráfico'', e vice-e-versa.
Funções podem ser injetivas, sobrejetivas, bijetivas - tudo definido a partir dos axiomas!
|