Math 2.0

definition

Preimage of a set

Definition

Let f ⁣:A→Bf \colon A \to B be a function and let TT be a subset of BB. The preimage of TT under ff is the set f−1(T)={a∈A∣f(a)∈T}.f^{-1}(T) = \{a \in A \mid f(a) \in T\}.

Remarks

Another name is the inverse image. The notation f−1(T)f^{-1}(T) makes sense for every ff, also when ff has no inverse function. Preimages respect all set operations: f−1(T1∩T2)=f−1(T1)∩f−1(T2)f^{-1}(T_1 \cap T_2) = f^{-1}(T_1) \cap f^{-1}(T_2), and the same holds for unions and complements. Example: for f(x)=x2f(x) = x^2 on R\mathbb{R}, f−1([1,4])=[−2,−1]∪[1,2]f^{-1}([1, 4]) = [-2, -1] \cup [1, 2].

Explanations

L1 human

The preimage answers the question: which inputs land in TT? For the function that sends a student to their grade, the preimage of {A}\{A\} is the set of students with grade AA.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What depends on this

181 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Image_(mathematics), Inverse image