Pós-graduação → Introdução à análise real → Teoria dos conjuntos e lógica em análise real ↓
Relações e funções
Relações e funções são conceitos fundamentais em matemática, particularmente na teoria dos conjuntos e na lógica. Elas descrevem como elementos de um conjunto podem estar relacionados ou serem compatíveis com elementos de outro conjunto. Um entendimento profundo desses conceitos é importante em análise real, álgebra e além. Vamos dar uma olhada mais profunda em cada um e desmistificá-los usando linguagem simples e exemplos.
Relação
Em matemática, uma relação é uma regra que conecta ou associa os elementos de um conjunto com os elementos de outro conjunto. Mais formalmente, uma relação de um conjunto A para um conjunto B é um subconjunto do produto cartesiano A × B
Para dois elementos, digamos a é do conjunto A e b é do conjunto B, se (a, b) é parte de uma relação R, então dizemos que a está relacionado a b e escrevemos a R b.
Exemplo:
Considere dois conjuntos:
A = {1, 2, 3}
B = {4, 5}
A possível relação R de A para B pode ser representada da seguinte forma:
R = {(1, 4), (2, 5), (3, 4)}
Isso significa:
1está relacionado a4.2está relacionado a5.3está relacionado a4.
Tipos de relações:
- Relação reflexiva: Uma relação é reflexiva se cada elemento está relacionado a si mesmo. Para um conjunto
A, uma relaçãoRé reflexiva se(a, a) ∈ Rpara todoa ∈ A - Relação simétrica: Uma relação é simétrica se sempre que
aestá relacionado ab,btambém está relacionado aa. Formalmente, se(a, b) ∈ R, então(b, a) ∈ R - Relação transitiva: Uma relação é transitiva se
aestá relacionado abebestá relacionado ac, entãoatambém está relacionado ac. Assim, se(a, b)e(b, c) ∈ R, então(a, c) ∈ R - Relação de equivalência: Uma relação que é reflexiva, simétrica e transitiva é chamada de relação de equivalência.
Função
Uma função é um tipo especial de relação onde cada elemento do primeiro conjunto é associado a exatamente um elemento do segundo conjunto. Formalmente, uma função f de um conjunto A para um conjunto B é uma relação onde nenhum par de conjuntos tem o mesmo primeiro elemento. A função é frequentemente escrita como f: A → B
Exemplo:
Considere uma função f de um conjunto X para um conjunto Y:
X = {1, 2, 3}
Y = {4, 5, 6}
F = {(1, 4), (2, 5), (3, 6)}
Isso significa:
f(1) = 4f(2) = 5f(3) = 6
Características das funções:
- Domínio: O conjunto de todos os valores de entrada (ou valores de
x) para os quais a função está definida. No exemplo anterior, o domínio defé{1, 2, 3}. - Codomínio: O conjunto dos valores de saída possíveis. Aqui, o codomínio de
fé{4, 5, 6}. - Imagem: O conjunto de valores reais de saída que a função retorna. No nosso exemplo, a imagem é
{4, 5, 6}. - Injetiva (um-para-um): Uma função é um-para-um se entradas diferentes tiverem saídas diferentes, ou seja,
f(a) = f(b)implicaa = b. - Sobrejetiva (Sobre): Uma função é sobre se cada valor possível no codomínio é uma saída da função pelo menos uma vez.
- Bijetiva: Uma função é bijetiva se for tanto injetiva quanto sobrejetiva. Isso significa que a função tem um "emparelhamento" perfeito entre domínio e imagem.
Exemplo:
Exemplo de função um-para-um:
G : {a, b, c} → {x, y, z}
G = {(a, x), (b, y), (c, z)}
Exemplo de função sobre:
H: {1, 2, 3} → {6, 7}
H = {(1, 6), (2, 6), (3, 7)}
Em H, cada elemento no codomínio {6, 7} é mapeado para o domínio.
Conclusão
Relações e funções são essenciais para entender como elementos de diferentes conjuntos interagem entre si. Elas formam a base de muitos conceitos matemáticos em análise real e são amplamente utilizadas em uma variedade de aplicações em diferentes campos.
Conhecer os diferentes tipos de relações e entender características das funções como domínio, imagem, injetividade, sobrejetividade e bijetividade aprimora a compreensão da matemática e da lógica. Esta exploração detalhada serve tanto como uma introdução para iniciantes quanto como um lembrete para alunos mais experientes na disciplina.