About: Injective function

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Injective function Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
dbo:wikiPageWikiLink	category-fr:Propriété_de_fonction category-fr:Théorie_des_ensembles dbpedia-fr:Antécédent_(mathématiques) Map (mathematics) Identity function Axiom of choice dbpedia-fr:Bijection dbpedia-fr:Catégorie_des_ensembles dbpedia-fr:Classe_(mathématiques) Complement (set theory) Function composition dbpedia-fr:Disjonction_logique Codomain Empty set dbpedia-fr:Graphe_d'une_fonction Group (mathematics) Trivial group dbpedia-fr:Image_(mathématiques) dbpedia-fr:Image_directe dbpedia-fr:Image_réciproque dbpedia-fr:Inclusion_(mathématiques) Inclusion map Isomorphism dbpedia-fr:Lemme_de_Zorn dbpedia-fr:Loi_de_composition_interne Monomorphism dbpedia-fr:Morphisme_de_groupes dbpedia-fr:Nombre_cardinal dbpedia-fr:Nombre_positif dbpedia-fr:Nombre_réel dbpedia-fr:Norman_Steenrod Kernel (algebra) Total order dbpedia-fr:Proposition_contraposée Preorder Binary relation Partially ordered set Reflexive relation Transitive relation dbpedia-fr:Samuel_Eilenberg Saunders Mac Lane dbpedia-fr:Surjection dbpedia-fr:Théorème_de_Cantor-Bernstein dbpedia-fr:Théorème_de_comparabilité_cardinale dbpedia-fr:Unicité_(mathématiques) dbpedia-fr:Équivalence_logique
has abstract	Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même image par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle ℝ, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point. Si une application injective est aussi surjective, elle est dite bijective. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Injectif dbpedia-fr:Injectivité Clifford algebra Conformal geometric algebra Universal algebra Fredholm alternative dbpedia-fr:Analyse_harmonique_sur_un_groupe_abélien_fini Geometric calculus Commutative ring Integral domain Unital ring dbpedia-fr:Anti-unification dbpedia-fr:Antécédent_(mathématiques) Map (mathematics) Linear map Proper map Open and closed maps Tree (graph theory) Real tree dbpedia-fr:Argument_de_la_diagonale_de_Cantor dbpedia-fr:Arithmétique_de_Robinson dbpedia-fr:Arithmétique_du_second_ordre Partial permutation dbpedia-fr:Automorphisme_orthogonal Axiom of infinity Axiom of countable choice Peano axioms Dual basis dbpedia-fr:Bijection dbpedia-fr:Bijection_réciproque dbpedia-fr:Bout_(topologie) dbpedia-fr:Bouteille_de_Klein dbpedia-fr:Canonique_(mathématiques) dbpedia-fr:Cardinalité_(mathématiques) dbpedia-fr:Catégorie_des_ensembles dbpedia-fr:Catégorie_simpliciale dbpedia-fr:Classe_préparatoire_physique,_chimie_et_sciences_de_l'ingénieur dbpedia-fr:Code_(information) dbpedia-fr:Code_correcteur dbpedia-fr:Code_cyclique dbpedia-fr:Code_de_Hamming dbpedia-fr:Code_linéaire dbpedia-fr:Code_parfait_et_code_MDS Combinatorics dbpedia-fr:Compression_de_données_universelle Baum–Connes conjecture De Branges's theorem Landau's constants dbpedia-fr:Construction_des_entiers_relatifs dbpedia-fr:Corps_des_fractions Correspondence Cosine

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 5 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software