function mapping onto

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-12.9

https://metanorma.github.io/isq-smart/math/part-2-12/t2-12.9
urn:iso:std:iso:80000:-2:ed-2:en:item:2-12.9

ISQ Identifiers

ISO

urn:iso:std:iso:80000:-2:ed-2:en:item:2-12.9

IEC

urn:iec:std:iec:80000-2:2019:::item:2-12.9

Designations

ENfunction mapping onto

FRapplication d'une fonction sur

Symbol

x \ \mapsto T (x), x \in A

Notation systems

AsciiMath

x \|-> T(x), " " x in A

LaTeX

x \ \mapsto T ( x ) , \text{ } x \in A

Definition

function that maps any $x \in A$ onto $T (x)$

fonction qui applique tout $x \in A$ à $T (x)$

Notes

$T (x)$ is a defining term denoting the values of some function for the arguments $x \in A$ .

If this function is called $f$ , then it holds $f (x) = T (x)$ for any $x \in A$ . Therefore the defining term $T (x)$ is often used to denote the function $f$ .

[example]

$x & # 8614; 3 x^{2} y$ , $x \in [0, 2 \$ ]

This is the quadratic function (of $x$ depending on the parameter $y$ ) defined on the stated interval by the term $3 x^{2} y$ .

If no function symbol is introduced, the term $3 x^{2} y$ is used to denote this function.

$T (x)$ est un terme définitoire donnant les valeurs d'une certaine fonction pour les arguments $x \in A$ .

Si cette fonction est appelée $f$ , on a $f (x) = T (x)$ pour tout $x \in A$ . Par conséquent, le terme définitoire $T (x)$ est souvent utilisé pour désigner la fonction $f$ .

[example]

$x & # 8614; 3 x^{2} y$ , $x \in [0, 2 \$ ]

Il s'agit de la fonction quadratique (de $x$ dépendant du paramètre $y$ ) définie dans l'intervalle donné par le terme $3 x^{2} y$ .

Si aucun symbole de fonction n'est introduit, le terme $3 x^{2} y$ est utilisé pour désigner cette fonction.

Ontology
isq:MathConcept smart:TermEntry

Class Hierarchy

smart:Entity smart:TermEntryisq:MathConcept

A mathematical concept as defined in ISO/IEC 80000 Part 2.

Instance IRI

isq:t2-12.9

Properties

isq:MathConceptShape

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-12.9
skosxl:prefLabel	"function mapping onto"@en
skosxl:altLabel	"x \\|-> T(x), " " x in A"@en
skos:definition	function that maps any stem:[x in A] onto stem:[T(x)]
skos:note	stem:[T(x)] is a defining term denoting the values of some function for the arguments stem:[x in A]. If this function i…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-12

Related Entities

isq:MathConceptShape isq:part-2-12 smart:TermEntry