Concept of a function — input, output, mapping: Question bank

This page is a stress-test for the idea of a function. Every question below hides a common trap: a place where beginners quietly break the definition without noticing. Read the parent idea first — Concept of a function — input, output, mapping — then try each item before you flip the answer.

Reveal each answer only after committing to your own. The answer side always gives the reason, not just a verdict — that reasoning is the whole point.

True or false — justify

A function can send two different inputs to the same output.

True. "Exactly one output per input" restricts inputs, not outputs.

f (x) = x^{2}

sends both

3

and

- 3

9

— perfectly legal.

A function can send one input to two different outputs.

False. That is exactly what "exactly one output" forbids;

f (2)

must be a single, predictable value, or the machine is not well-defined.

Every equation in

x

and

y

defines a function of

x

False.

x^{2} + y^{2} = 1

gives

y = \pm 1 - x^{2}

, so

x = 0

yields two

y

-values. An equation is only a function if it pins down one

y

for each allowed

x

If a rule's formula is written down clearly, it must be a function.

False.

y = \pm x

is a clear formula but still assigns two outputs to each positive

x

; clarity of formula does not guarantee single-valuedness.

A function and its formula are the same thing.

False. The function is the pairing input→output; a formula is just one way to describe it. Tables, graphs, and word-rules describe functions too.

The range of a function always equals its codomain.

False. The codomain is where outputs are allowed to live; the range is what actually comes out. For

f : R \to R, f (x) = x^{2}

, codomain is

R

but range is

[0, \infty)

A constant rule like

f (x) = 7

is a function.

True. Every input gets exactly one output (always

7

). "Each input one output" says nothing about outputs having to differ.

If a graph passes the vertical line test, it is a function of

x

True. A vertical line at

x = c

collects every output for that input; hitting the curve once means one output, which is precisely the definition.

Swapping the domain and codomain labels never changes whether something is a function.

False. Direction matters:

y = x^{2}

is a function from

x

y

, but reversing it (

x = y^{2}

) makes one

x

correspond to two

y

's — no longer a function.

Spot the error

f (x) = x

is not a function because square roots have a

\pm

Error. The symbol

x

means the principal (non-negative) root only, so

9 = 3

, one value. The

\pm

appears only when you write it explicitly;

alone is single-valued.

"The domain of

f (x) = x^{2}

[0, \infty)

since outputs are never negative."

Error. That describes the range. You can square any real number, so the domain is

R

; the non-negative set is what comes out, not what goes in.

f = {(1, 2), (2, 4), (1, 3)}

is a function since all pairs are distinct."

Error. Distinct pairs are not enough. Input

1

appears with two different outputs (

2

and

3

), so exactly-one-output is violated.

"Any curve you can draw is a function."

Error. A full circle or a sideways parabola fails the vertical line test — some

x

hits the curve twice, giving two outputs for one input.

"Since

f (2) = 4

and

g (2) = 4

, the functions

f

and

g

are equal."

Error. Agreeing at one input proves nothing. Two functions are equal only if they agree on every input in a shared domain (and have the same domain).

"A relation with a missing input can still be a function if the rest is fine."

Error. "Each element of the domain" must be assigned an output. If input

2

has no output, either it isn't in the domain, or the rule fails to be a function on that domain.

Why questions

Why does a function need "exactly one" output rather than "at least one"?

Because we want determinism —

f (2)

should be a single predictable answer so we can compute, substitute, and reason without ambiguity. "At least one" would allow two answers and break every calculation.

Why is a vertical line, not a horizontal line, used to test whether a graph is a function of

x

A vertical line

x = c

gathers all outputs for a single input

c

; more than one intersection means that input has multiple outputs. A horizontal line tests something different (whether outputs repeat — relevant to invertibility, not to being a function).

Why is a piecewise rule like

∣ x ∣

still one function, not two?

For any given input you fire only one branch (based on its sign), so each input still produces exactly one output. The branches partition the domain; they never overlap on a single input.

Why can we "fix" the circle

x^{2} + y^{2} = 1

into a function by taking

y = 1 - x^{2}

Choosing the

+

root discards the lower half of the circle, so each

x

[- 1, 1]

now keeps just one

y

. Restricting outputs to one branch restores single-valuedness.

Why do we distinguish the function

f

from the value

f (x)

f

is the whole machine (the rule and its domain);

f (x)

is the single number produced when input

x

is fed in. Confusing them is like confusing a vending machine with the snack it just dispensed.

Edge cases

Is the empty function (domain is the empty set) a function?

Yes. "Each input has exactly one output" is vacuously true when there are no inputs to check — nothing violates the rule, so it counts as a (trivial) function.

Can a function's domain and range be different kinds of things (e.g. names to numbers)?

Yes. Nothing requires inputs and outputs to be the same type; "length of a word" maps strings to numbers and is a perfectly valid function.

For

f (x) = 1/ x

, is

0

in the domain?

No.

1/0

has no defined value, so

0

cannot be assigned an output; the domain is

R ∖ {0}

. Every listed input must actually produce a legal output.

Can two different inputs and the output all be equal, e.g.

f (x) = x

x = 5

The question mixes ideas: for

f (x) = x

each input maps to itself, one output each, so it is a function. Input equalling its output (

f (5) = 5

) is allowed and common (a fixed point).

If a rule gives one output for some inputs and none for others, is it a function?

Only on the restricted domain where outputs exist. As a function on that smaller set it is valid; claiming it as a function on a larger set that includes the gap-inputs is false.

Is a function still a function if we never actually compute any of its values?

Yes. Being a function depends on the definition (each input has one output), not on whether anyone evaluates it. Existence of the rule is enough.

Recall Which two words does almost every trap attack?

"Each" (every input handled — no gaps) and "exactly one" (no input handing back two answers). Diagnose any tricky case by asking which of these two is at risk.

Where to go next

Types of Functions — once single-valuedness is secure, classify by injective/surjective behaviour.
Inverse Functions — reversing a function needs the horizontal line test, the natural sequel to these traps.
Composition of Functions — chaining machines while keeping "one output per input."
Graphs of Functions — the vertical line test lives here visually.
Real-world Applications — where determinism actually matters.
🇮🇳 Ise Hinglish mein padho →