Image (mathematics)

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs Range (of a function)
gptkbp:contrastsWith Inverse image
Preimage
gptkbp:describes Set of all output values of a function
gptkbp:example Image of f(x) = x^2 over real numbers is [0, ∞)
gptkbp:formalDefinition For function f: X → Y, image is {f(x) | x ∈ X}
gptkbp:hasSubgroup Codomain
gptkbp:hasWikidataID gptkb:Q185347
https://www.w3.org/2000/01/rdf-schema#label Image (mathematics)
gptkbp:property Image can be empty if domain is empty
Image is always a subset of codomain
Image may be equal to codomain if function is surjective
gptkbp:relatedTo gptkb:Domain_(mathematics)
gptkb:Function_(mathematics)
Codomain
gptkbp:usedIn gptkb:Topology
gptkb:Linear_algebra
gptkb:Set_theory
gptkb:Abstract_algebra
Analysis
gptkbp:bfsParent gptkb:First_isomorphism_theorem
gptkbp:bfsLayer 7