ISQ
10 / 27
2-12.10

inverse function

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-12.10
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-12/t2-12.10
urn:iso:std:iso:80000:-2:ed-2:en:item:2-12.10
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-12.10
IEC
urn:iec:std:iec:80000-2:2019:::item:2-12.10
Designations
ENinverse function
FRfonction réciproque
Symbol
f − 1
Notation systems
AsciiMath
f^(-1)
LaTeX
f^{- 1}

Definition

EN

inverse function of f

FR

fonction réciproque de f , + fonction inverse de f

Notes

EN

The inverse function f − 1 of a function f is only defined if f is injective.

If f is injective then

dom ( f − 1 ) = ran ( f ) , ran ( f − 1 ) = dom ( f ) , and

f − 1 ( f ( x ) ) = x for x ∈ dom f .

The inverse function f − 1 should not be confused with the pointwise reciprocal function x & # 8614 ; f ( x ) − 1 .

FR

La fonction réciproque f − 1 d'une fonction f n'est définie que si f est injective.

Si f est injective alors

dom ( f − 1 ) = ran ( f ) , ran ( f − 1 ) = dom ( f ) , et

f − 1 ( f ( x ) ) = x pour x ∈ dom f .

Il convient de ne pas confondre la fonction réciproque f − 1 avec la fonction inverse d'une fonction numérique x & # 8614 ; f ( x ) − 1 .

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-12.10
PropertyValue
rdf:type
dcterms:identifier
2-12.10
skosxl:prefLabel
"inverse function"@en
skosxl:altLabel
"f^(-1)"@en
skos:definition
inverse function of stem:[f]
skos:note
The inverse function stem:[f^(-1)] of a function stem:[f] is only defined if stem:[f] is injective. If stem:[f] is inje…
smart:hasBindingnessType
dcterms:isPartOf