Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Subobjeto

Índice Subobjeto

Na teoria das categorias, um ramo da matemática, um subobjeto é, grosso modo, um objeto que está dentro de outro objeto da mesma categoria.

25 relações: Anel (matemática), Categoria (teoria das categorias), Classe de equivalência, Coequalizador (teoria das categorias), Conjunto imagem, Epimorfismo (teoria das categorias), Equalizador (teoria das categorias), Espaço compacto, Espaço de Hausdorff, Espaço topológico, Função sobrejectiva, Homeomorfismo, Ideal (teoria dos anéis), Matemática, Monomorfismo (teoria das categorias), Pré-ordem, Produto fibrado, Relação de equivalência, Subconjunto, Subespaço topológico, Subgrupo, Subgrupo normal, Teoria das categorias, Teoria dos conjuntos, Teoria dos grupos.

Anel (matemática)

curva cúbica em um espaço projetivo. A teoria dos anéis é fundamental na geometria algébrica. Em matemática, um anel é uma estrutura algébrica que consiste em um conjunto associado a duas operações binárias, normalmente chamadas de adição e multiplicação, em que cada operação combina dois elementos para formar um terceiro elemento.

Novo!!: Subobjeto e Anel (matemática) · Veja mais »

Categoria (teoria das categorias)

Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções.

Novo!!: Subobjeto e Categoria (teoria das categorias) · Veja mais »

Classe de equivalência

Em matemática, dado um conjunto X \, com uma relação de equivalência \sim\,, a classe de equivalência de um elemento a \in X \, é o subconjunto de todos os elementos de X \, que são equivalentes a a \,.

Novo!!: Subobjeto e Classe de equivalência · Veja mais »

Coequalizador (teoria das categorias)

Na teoria das categorias, coequalizador é o dual ao conceito de equalizador, e, a grosso modo, generaliza a uma categoria qualquer a noção de quociente por uma relação de equivalência.

Novo!!: Subobjeto e Coequalizador (teoria das categorias) · Veja mais »

Conjunto imagem

A imagem do conjunto X é o conjunto A,B,D que é subconjunto de Y. elemento do conjunto X. Em matemática, o conjunto imagem (conhecido também como campo de valores) de uma função f: X \to Y é o conjunto de todos os elementos de que são imagem de algum elemento de X. Costuma ser representado por \operatorname(f) ou \operatorname(f).

Novo!!: Subobjeto e Conjunto imagem · Veja mais »

Epimorfismo (teoria das categorias)

Na teoria das categorias, epimorfismo generaliza o conceito de funções sobrejetivas ou de imagens "suficientemente grandes".

Novo!!: Subobjeto e Epimorfismo (teoria das categorias) · Veja mais »

Equalizador (teoria das categorias)

Diagrama do Equalizador Um equalizador é uma construção de Teoria das categorias.

Novo!!: Subobjeto e Equalizador (teoria das categorias) · Veja mais »

Espaço compacto

Em matemática, mais especificamente em topologia geral, o conceito de compacidade é uma extensão topológica das ideias de finitude e limitação.

Novo!!: Subobjeto e Espaço compacto · Veja mais »

Espaço de Hausdorff

Um espaço de Hausdorff (ou espaço separado) é um espaço topológico no qual quaisquer dois pontos distintos têm vizinhanças disjuntas.

Novo!!: Subobjeto e Espaço de Hausdorff · Veja mais »

Espaço topológico

Espaços topológicos são estruturas que permitem a formalização de conceitos tais como convergência, conexidade e continuidade.

Novo!!: Subobjeto e Espaço topológico · Veja mais »

Função sobrejectiva

Em matemática, uma função f de um conjunto X para um conjunto Y é sobrejetiva (ou sobrejectiva ou sobrejetora), se para todo elemento y no contradomínio Y de f houver pelo menos um elemento x no domínio X de f tal que f (x).

Novo!!: Subobjeto e Função sobrejectiva · Veja mais »

Homeomorfismo

Um homeomorfismo entre uma caneca e uma rosquinha Um homeomorfismo é a noção principal de congruência em topologia, sendo o isomorfismo de espaços topológicos.

Novo!!: Subobjeto e Homeomorfismo · Veja mais »

Ideal (teoria dos anéis)

Em teoria dos anéis, um ramo da álgebra abstrata, um ideal é um subconjunto especial de um anel.

Novo!!: Subobjeto e Ideal (teoria dos anéis) · Veja mais »

Matemática

problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.

Novo!!: Subobjeto e Matemática · Veja mais »

Monomorfismo (teoria das categorias)

Um monomorfismo (ou mono), no contexto de teoria das categorias, é uma generalização do conceito de função injetiva.

Novo!!: Subobjeto e Monomorfismo (teoria das categorias) · Veja mais »

Pré-ordem

Em matemática, mais especificamente em teoria da ordem, uma pré-ordem é uma relação binária reflexiva e transitiva.

Novo!!: Subobjeto e Pré-ordem · Veja mais »

Produto fibrado

Diagrama de produto fibrado O produto fibrado (ou pullback) é uma construção de teoria das categorias.

Novo!!: Subobjeto e Produto fibrado · Veja mais »

Relação de equivalência

As 52 relações de equivalência em um conjunto de 5 elementos representadas por matrizes lógicas 5 × 5 (campos coloridos, incluindo aqueles em cinza claro, representam os uns; campos brancos por zeros.) Os índices de linha e coluna de células não brancas são os elementos relacionados, enquanto as cores diferentes, exceto cinza claro, indicam as classes de equivalência (cada célula cinza claro é sua própria classe de equivalência). Na matemática, uma relação de equivalência é uma relação binária que é reflexiva, simétrica e transitiva.

Novo!!: Subobjeto e Relação de equivalência · Veja mais »

Subconjunto

Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").

Novo!!: Subobjeto e Subconjunto · Veja mais »

Subespaço topológico

Em topologia, um subespaço topológico de um espaço X é um subconjunto de X munido da topologia relativa, definida a seguir.

Novo!!: Subobjeto e Subespaço topológico · Veja mais »

Subgrupo

Em teoria dos grupos, um subgrupo de um grupo G é um subconjunto H de G que também seja um grupo para a mesma operação.

Novo!!: Subobjeto e Subgrupo · Veja mais »

Subgrupo normal

Em matemática e, em especial em teoria dos grupos, um subgrupo normal é um subgrupo que é preservado por conjugação, ou seja, \forall n \in N, g \in G, (g n g^) \in N\,.

Novo!!: Subobjeto e Subgrupo normal · Veja mais »

Teoria das categorias

Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.

Novo!!: Subobjeto e Teoria das categorias · Veja mais »

Teoria dos conjuntos

conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.

Novo!!: Subobjeto e Teoria dos conjuntos · Veja mais »

Teoria dos grupos

grupos de permutação. Ver o grupo do cubo de Rubik Na álgebra abstrata, a teoria dos grupos estuda as estruturas algébricas conhecidas como grupos.

Novo!!: Subobjeto e Teoria dos grupos · Veja mais »

Redireciona aqui:

Sub-objeto.

CessanteEntrada
Ei! Agora estamos em Facebook! »