BINAIRE RELATION, mathématiques

ALGÉBRIQUES STRUCTURES

  • Écrit par 
  • Jean-Marie PRUVOST-BEAURAIN
  •  • 34 159 mots

Dans le chapitre « Correspondances, relations binaires, fonctions, applications »  : […] Soient E et F deux ensembles, distincts ou non. Une correspondance de E vers F est un triplet (E, F,  G ) tel que G soit une partie de E×F ; les ensembles E, F et G sont appelés respectivement ensemble de départ (ou ensemble source ), ensemble d'arrivée (ou ensemble but ) et graphe de la correspondance κ = (E, F,  G ). Soient E 1 , E 2 et E 3 trois ensembles, distincts ou non, f  = (E 1 ,  […] Lire la suite

ENSEMBLES THÉORIE DES

  • Écrit par 
  • André ROUMANET, 
  • Jean-Luc VERLEY
  •  • 8 743 mots
  •  • 20 médias

Dans le chapitre « Relations binaires »  : […] Soit E et F des ensembles. Une relation de source E et but F est une propriété sur l'ensemble produit E × F, c'est-à-dire une propriété des couples ( x ,  y ), x  ∈ E et y  ∈ F. Ainsi une relation définit un sous-ensemble de E × F, appelé son graphe , formé des couples pour lesquels la relation est vraie (cf. chap. 1). Réciproquement, tout sous-ensemble A ⊂ E × F définit une relation de source E e […] Lire la suite

RELATION

  • Écrit par 
  • Jean LADRIÈRE
  •  • 7 662 mots

Dans le chapitre « La théorie des relations d'Alfred Tarski »  : […] Dans l'œuvre de Russell, la théorie des relations s'inscrit dans un projet général : celui du logicisme. Les Principles formulent ce projet de la manière suivante : il s'agit de démontrer « que les mathématiques pures tout entières traitent exclusivement de concepts définissables dans les termes d'un très petit nombre de concepts logiques fondamentaux et que toutes leurs propositions sont déducti […] Lire la suite