Abrir menu principal

Alterações

157 bytes adicionados ,  08h38min de 30 de agosto de 2011
m
+corr
{{revisão-sobre|Matemática}}
Em [[lógica matemática]], uma '''subestrutura''' é uma estrutura cujo domínio é um subconjunto de uma [[Estrutura de interpretação (lógica)|estrutura maior]], e cujas funções e relações são têm origem das funções e relações da estrutura maior. Mudando o ponto de vista, a estrutura maior é chamada de uma '''extensão''' ou uma '''superestrutura''' de uma subestrutura. Na Teoria dos modelos, o termo '''"submodelo"''' é freqüentemente usado como sinônimo de subestrutura, especialmente quando o contexto sugere uma teoria em que ambas as estruturas são modelos.
Na presença de relações (ou seja, para estruturas como conjuntos ordenados ou gráficos, cuja assinatura não é funcional) pode fazer sentido abrandar as condições em uma subálgebra de modo que as relações em uma '''subestrutura fraca''' são, no máximo, aquelas induzidas a partir da estrutura maior. Subgrafos são um exemplo onde a distinção importa, e o termo "subgrafo", de fato, refere-se a subestruturas fracas. Conjuntos ordenados, por outro lado, têm a propriedade especial de que cada subestrutura de um conjunto ordenado que é também é um conjunto ordenado, é uma subestrutura induzida.'
 
 
Na categoria de modelos de uma teoria e imersão entre eles, os submodelos de um modelo são os seus subobjetos.
 
 
== Referências ==
* {{Citation | last1=Diestel | first1=Reinhard | title=Graph Theory | origyear=1997 | url=http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/ | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | series=Graduate Texts in Mathematics | isbn=978-3-540-26183-4 | year=2005 | volume=173}}
* {{Citation | last1=Hodges | first1=Wilfrid | author1-link=Wilfrid Hodges | title=A shorter model theory | publisher=[[Cambridge University Press]] | location=Cambridge | isbn=978-0-521-58713-6 | year=1997}}
 
[[Categoria:Lógica]]
 
[[en:Substructure]]
[[sv:Delstruktur]]
[[zh:子结构]]
87 349

edições