Estem treballant per restaurar l'aplicació de Unionpedia a la Google Play Store
SortintEntrant
🌟Hem simplificat el nostre disseny per a una millor navegació!
Instagram Facebook X LinkedIn

Relació ben fonamentada

Índex Relació ben fonamentada

En matemàtiques, una relació binaria R està ben fonamentada en una classe X si, i només si, cada subconjunt no buit dX té un element minimal respecte de R. Això és, per cada subconjunt no buit S de X, existeix un element m de S tal que per cada element s de S, la parella (s,m) no pertany a R: Equivalentment, assumint una elecció, una relació està ben fonamentada si, i només si, no conté cap cadena descendent infinita: això és, no existeix cap seqüència infinita x0, x1, x₂,...

Taula de continguts

  1. 24 les relacions: Axioma de l'elecció, Classe (matemàtiques), Conjunt buit, Conjunt parcialment ordenat, Demostració per inducció, Divisor, Emmy Noether, Expressió regular, Funcions recursives primitives, Matemàtiques, Maximal i minimal (elements), Nombre enter, Nombre natural, Nombre ordinal, Nombre racional, Ordre lexicogràfic, Ordre total, Producte cartesià, Relació, Relació reflexiva, Si i només si, Subconjunt, Teoria de conjunts, Teoria de l'ordre.

Axioma de l'elecció

L'axioma de l'elecció (AE) és un axioma de la teoria de conjunts.

Veure Relació ben fonamentada і Axioma de l'elecció

Classe (matemàtiques)

Una classe, en teoria de conjunts i matemàtiques, és una col·lecció de conjunts o altres objectes matemàtics que poden ser definits sense ambigüitats per una propietat que comparteixen tots els seus membres.

Veure Relació ben fonamentada і Classe (matemàtiques)

Conjunt buit

Símbol per al conjunt buit El conjunt buit és el conjunt matemàtic que no té cap element.

Veure Relació ben fonamentada і Conjunt buit

Conjunt parcialment ordenat

En matemàtiques, especialment en teoria de l'ordre, un conjunt parcialment ordenat (o poset, de l'anglès partially ordered set) és un conjunt equipat amb una relació binària d'ordre parcial.

Veure Relació ben fonamentada і Conjunt parcialment ordenat

Demostració per inducció

date.

Veure Relació ben fonamentada і Demostració per inducció

Divisor

En matemàtiques, un divisor d'un enter n, també anomenat un factor de n, és un enter que divideix n sense deixar residu.

Veure Relació ben fonamentada і Divisor

Emmy Noether

fou una matemàtica alemanya, d'ascendència jueva, especialista en la teoria d'invariants i coneguda per les seves contribucions a la física teòrica i l'àlgebra abstracta.

Veure Relació ben fonamentada і Emmy Noether

Expressió regular

En informàtica, una expressió regular (o col·loquialment anomenades regexp, acrònim de l'anglès regular expression) és una representació, segons unes regles sintàctiques d'un llenguatge formal, d'una porció de text genèric a buscar dins d'un altre text, com per exemple uns caràcters, paraules o patrons de text concrets.

Veure Relació ben fonamentada і Expressió regular

Funcions recursives primitives

Les funcions recursives primitives es defineixen usant com a operacions principals la recursió i la composició i formen un subconjunt estricte de les funcions recursives, que són les funcions computables.

Veure Relació ben fonamentada і Funcions recursives primitives

Matemàtiques

Representacions matemàtiques de diversos camps La matemàtica (encara que, per a referir-se, a l'estudi i ciència, s'acostuma a utilitzar el plural matemàtiques) és aquella ciència que estudia patrons en les estructures de cossos abstractes i en les relacions que s'estableixen entre ells (del mot derivat del grec μάθημα, máthēma: ciència, coneixement, aprenentatge; μαθηματικός, mathēmatikós).

Veure Relació ben fonamentada і Matemàtiques

Maximal i minimal (elements)

El diagrama de Hasse del conjunt ''P'' de divisors de 60, parcialment ordenats per la relació "''x'' divideix ''y''". El subconjunt vermell ''S''.

Veure Relació ben fonamentada і Maximal i minimal (elements)

Nombre enter

Els nombres enters són els que designen quantitats no fraccionables en parts més petites que la unitat.

Veure Relació ben fonamentada і Nombre enter

Nombre natural

Un nombre natural és qualsevol dels nombres 0, 1, 2, 3…, 19, 20, 21..., que es poden utilitzar per a comptar els elements d'un conjunt finit.

Veure Relació ben fonamentada і Nombre natural

Nombre ordinal

Els nombres ordinals, o senzillament ordinals, són nombres usats per a denotar la posició en una successió ordenada: primer, segon, tercer, quart, etc.

Veure Relació ben fonamentada і Nombre ordinal

Nombre racional

S'anomena nombre racional a tot aquell nombre que pot ser expressat com a resultat de la divisió de dos nombres enters, amb el divisor diferent de 0.

Veure Relació ben fonamentada і Nombre racional

Ordre lexicogràfic

binaris)Quan les ternes (en blau) estan en ordre ''lex'', els vectors (en vermell) estan en ordre ''revlex'', i viceversa. A la dreta, l'anàleg pels ordres ''colex'' i ''revcolex''. En matemàtiques, lordre lexicogràfic (també conegut com a ordre alfabètic o producte lexicogràfic) és una generalització de l'ordre alfabètic que s'aplica a les paraules quan s'analitzen cadascuna de les seves lletres.

Veure Relació ben fonamentada і Ordre lexicogràfic

Ordre total

En matemàtiques, un ordre lineal, ordre total, ordre simple o també ordenació és una relació binària (que en aquest article denotarem mitjançant per l'infix ≤) en un conjunt X. Aquesta relació és transitiva, antisimètrica i total.

Veure Relació ben fonamentada і Ordre total

Producte cartesià

Producte cartesià entre els conjunts A.

Veure Relació ben fonamentada і Producte cartesià

Relació

Diagrama que il·lustra una relació entre dos conjunts Relació és l'associació entre els elements d'un o diversos conjunts.

Veure Relació ben fonamentada і Relació

Relació reflexiva

En matemàtiques, una relació reflexiva és una relació binària sobre un conjunt per la qual cada un dels seus elements està relacionat amb si mateix.

Veure Relació ben fonamentada і Relació reflexiva

Si i només si

Símbols lògicsper a representarsii.

Veure Relació ben fonamentada і Si i només si

Subconjunt

Exemple gràfic, A⊆B. Un subconjunt és un conjunt format per elements d'un altre conjunt.

Veure Relació ben fonamentada і Subconjunt

Teoria de conjunts

La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.

Veure Relació ben fonamentada і Teoria de conjunts

Teoria de l'ordre

La teoria de l'ordre és una branca de la matemàtica que estudia diverses classes de relació binària que capturen la noció intuïtiva de l'ordre matemàtic.

Veure Relació ben fonamentada і Teoria de l'ordre

També conegut com Ordre ben fonamentat, Ordre ben fundamentat.