Introduction Of Functions
A function from set to set is a rule that assigns to each element of exactly one element of . Written as with , where is the pre-image and is the image. Every element of must have a unique image; some elements of may have no pre-image. The set is the domain, is the co-domain, and the collection of all images is the range. This concept covers definition, value of a function, algebra of functions, and how to find domain and range.
- Function: , with ,
- Range: (co-domain)
- Sum / difference / product: , , domain
- Quotient: , domain
- Domain rules: denominator ; expression under even root ; argument of must be ; base of must be and
- Domain of inverse trig: need ; for all real ; need
1. Definition of a Function
Let and be any two non-empty sets. A function from to is a rule of correspondence that assigns to each element of one and only one element of . If the rule is called , we write where , with and . Here is the image of under , and is the pre-image of .
- A mapping is a function if every element of has an image in . Some elements of may not be the image of anything in - that is allowed.
- Each element of has one and only one image. A function cannot be multi-valued. A multi-valued mapping is called a relation, not a function.
Graphical (Vertical Line) Test
To check whether a relation between and is a function, draw a line parallel to the -axis. If every such vertical line meets the graph at one and only one point, the relation is a function. If any vertical line meets the graph at two or more points, it is not a function.
2. Value of a Function
The value of a function at is written and is obtained by substituting into the expression for .
.
.
3. Algebra of Functions
Let and be two real-valued functions. We can build new functions from them.
- Sum: , defined on
- Difference: , defined on
- Product: , defined on
- Quotient: , defined on
Domain of : . Domain of : . Common domain .
, defined on .
, defined on .
, defined on .
, defined on (excluding where ).
Rewrite as : .
Since the base lies between and , the log is a decreasing function, so the inequality flips:
.
Also needs . Combining: .
4. Domain and Range of a Function
For :
- Domain (the set of inputs).
- Co-domain (the target set).
- Range , the set of actual outputs. Range is always a subset of the co-domain: .
Common Domain Rules
- Denominator must be non-zero.
- Expression under an even root (, fourth root, ...) must be .
- Argument of must be ; base of must be and .
- For and : .
- For and : all real .
- For and : .
Problems Based on Domain
The denominator must be non-zero: .
Domain .
Since is an even-denominator rational exponent, we need .
Case 1: , so and the expression becomes . We need , which gives .
Case 2: , so and the expression becomes . We need , which gives . But we are in Case 2 (), so we keep .
Taking the union: Domain .
Two conditions:
(i) Argument : .
(ii) Base valid: and and .
Domain .
For we need .
Multiplying by 4: ... (1)
For we need , i.e. or .
So or , giving ... (2)
Intersecting (1) and (2): only lies in both.
Domain .
Problems Based on Range
Let . Cross-multiplying: .
Since is real, the discriminant must be :
.
So or .
Range .
Let . Solving for : .
Since , we need , which gives .
Range .
Alternate method (substitution): Put where . Then .
.
is increasing on and , decreasing on .
Evaluate at critical points and endpoints:
; ; ; .
Minimum , maximum .
Range .
The domain is (from and ).
We know for all .
So .
On , .
Range .
Common Mistakes to Avoid
- Forgetting to flip the inequality when the log base lies between and . Base means log is decreasing.
- Cancelling common terms without checking the domain of that term. For example, cancelling from both sides is only valid when .
- Using instead of when substituting - this artificially restricts the domain.
- Assuming range of is always - it is only that full interval when ranges over all of . If is restricted, is also restricted.
- Forgetting that division by zero excludes points from the domain (even after algebraic simplification).
Frequently Asked Questions
Q1. What is the difference between a function and a relation?
A relation from to is any set of ordered pairs . A function is a special relation where every element of appears in exactly one pair - each input has exactly one output. So every function is a relation, but not every relation is a function.
Q2. What is the difference between range and co-domain?
The co-domain is the target set declared when defining . The range is the actual set of outputs . Range is always a subset of co-domain; they are equal only when is onto (surjective).
Q3. How do I find the domain of a function quickly?
Start with all real numbers, then remove: (i) points where the denominator is zero, (ii) points where an even root has a negative argument, (iii) points where a log has a non-positive argument or invalid base, (iv) points outside the natural domain of inverse trig functions.
Q4. What is the vertical line test?
It is a quick graphical check: if every vertical line ( constant) intersects the graph at most once, the graph represents a function. If some vertical line cuts the graph at two or more points, the graph is not a function because one input would map to multiple outputs.
Q5. Can a function have a domain that is not all real numbers?
Yes. The domain is whatever set of inputs makes the rule valid. For the natural domain is ; for it is ; for it is .
Q6. How is the range of different from the domain of ?
The domain of is where both and are defined and . The range of is the actual set of output values as varies over that domain, which usually needs a separate calculation.
Q7. Is a function?
Yes. The identity function maps every real number to itself. Its domain and range are both , and it satisfies the vertical line test trivially.
Ready to master Functions?
Take a full mock test, practice concept-by-concept, and get an AI-powered rank prediction — all on Fundamenthol.