Functions - The Deep Dive · Maths

Q6: What Is a Function, Really?

Manish: We understood algebra — the art of reasoning with the unknown. Now let's understand the next chapter: Functions. From first principles. From thought experiments. Not the computer science definition, not the calculus machinery. What is a function at its deepest level? What does it represent? And how does it connect to algebra?

Response: Let's begin before mathematics existed. Before symbols. Before the word "function."

1. Before Functions, There Was a Relationship

Imagine a potter shaping clay. She presses, and the clay changes form. She presses more, it changes more.

She does not need equations to notice: what I do changes what happens.

Now imagine a farmer watching the sun. Sun rises → land warms → seeds sprout → crops grow. One thing leads to another. One thing depends on another.

At its most fundamental level, a function is the idea that one thing depends on another.

Algebra taught us that an unknown can have structure. Functions teach us that one thing can be tied to another. They are not two separate facts. They are a coupling.

2. The First Thought Experiment: The Magic Box

Imagine a black box. You cannot see inside it. But it has an opening on one side and an opening on another.

You slide in a piece of paper with the number 2 written on it. The box hums. Out comes 5.

You slide in 3. Out comes 7.

You slide in 10. Out comes 21.

Something consistent is happening inside. You don't know the mechanism, but you know the behavior: whatever goes in, double it, then add 1.

You have just discovered a function: f(x) = 2x + 1

The function is not the box. The function is not the input. The function is not the output. The function is the rule — the relationship itself. More precisely, it is a well-defined assignment that tells us exactly how each allowed input is related to an output.

A function is the invisible thread that binds input to output. It is the way one thing becomes another.

3. The Three Elements of a Function

Every function, stripped to its bones, has three parts:

Domain — where things come from (what you're allowed to put in)
Codomain — where things go to (the universe of possible outputs)
Rule — the transformation itself (the "how")

Think of it like a language:

Domain = the words you can say
Codomain = the meanings that exist
Rule = how a word maps to its meaning

Or like cooking:

Domain = raw ingredients you can use
Codomain = the dishes you can serve
Rule = the recipe

Key insight: The function is not the ingredients. Not the dish. It is the recipe — the directional, relational thing.

3a. Deep Dive: Codomain vs Range — A Thought Experiment

Let's slow down and understand codomain from first principles. Because it's subtle.

You open a restaurant. You write a menu:

Today's special: Give me any vegetable. I will give you back a soup.

You have just declared a function:

Domain = { carrot, tomato, broccoli, potato } — the vegetables you accept
Rule = turn a vegetable into a soup

Now, what is the codomain?

The codomain is the set you declare as the output universe. You say: "I will serve you a soup." So:

Codomain = { all possible soups }

But here's the thing — are you actually going to make every possible soup? No. You only know how to make 3 types of soup. So:

Range = { carrot soup, tomato soup, broccoli soup } — the soups you actually produce

Notice something important: customers could have ordered potato, but you only had 4 vegetables in your kitchen. And even then, you only turn them into 3 soups. The codomain (all possible soups) is a wider universe than the range (the 3 soups you actually make).

The First Principles Question

Now ask yourself: Why does codomain exist as a separate concept? Why not just call it the range?

Here's why — from first principles:

When you design a function, you must declare what kind of thing the output will be. You don't know yet what the function will actually produce for every input. But you must commit to a universe. This commitment is the codomain.

The range is discovered later — after you've fed all the inputs through the rule and observed what actually comes out.

Codomain is a promise. Range is a report.

Another Thought Experiment: The Arrow and the Wall

Imagine you are an archer. You stand in front of a giant wall.

Domain = the arrows you have in your quiver
Rule = you draw the bow and release
Codomain = the entire wall (you declare: "I am shooting at this wall")
Range = the actual spots on the wall where your arrows hit

The wall is the codomain. It is the space where your outputs could land. But your arrows only hit specific spots. Those spots are the range.

Now imagine another archer who is much better. Her arrows hit every single spot on the wall. For her:

Range = Codomain (a surjective function — the range covers the entire codomain)

And another archer who only hits the left half of the wall. Then:

The codomain is still the whole wall (he declared it)
But the range is only the left half of the wall (the actual outputs)
So the range is a subset of the codomain, but it does not cover all of it

This is the deep insight: Codomain is not discovered. It is chosen by the person defining the function. It is an act of declaration. Range is what nature (or the rule) actually produces.

So What Is Codomain, Really?

	Codomain	Range
Nature	A declaration	A discovery
When known	Before the function is evaluated	After the function is evaluated
Who decides	The person defining the function	The rule itself
Relationship	The universe declared	The subset actually reached

Your 0-to-100 Example, Revisited

You said: "There is a function which takes a particular input X, and it will give you the output of a particular limit from zero to hundred."

If you declare: "This function's output lives between 0 and 100" — then:

Codomain = [0, 100] (your declaration)
Range = the actual values the function hits when you run it with all possible inputs

If the function is f(x) = x² and the domain is [0, 10], then:

Codomain = [0, 100] (you declared it)
Range = [0, 100] too, because 0² = 0 and 10² = 100 — it covers everything

But if the function is f(x) = x² and the domain is [0, 5], then:

Codomain = [0, 100] (your declaration still)
Range = [0, 25] (the actual outputs — it never reaches above 25)

Your intuition was right — codomain is the declared possible output space. It's just that the function may not use all of it. The actually-used part is the range.

4. Functions vs Algebra: The Relationship

Algebra says: There is something unknown. Let me name it. Let me reason about it.

Functions say: There are two things, and one determines the other. Let me name that dependency.

Algebra gave us x. Functions give us f(x).

Algebra	Functions
What is x?	What happens to x?
Solving for an unknown	Mapping an input to an output
The unknown made relational	The relationship made visible
Static truth	Dynamic transformation

And here's the beautiful bridge:

y = 2x + 3

As algebra, this is a statement: "There exists a relationship between y and x such that..." As a function, this is a process: "Feed me x. I will produce y. Here is how."

Algebra gives the grammar. Functions give the story.

5. The Philosophical Leap: Determinism in Miniature

A function is one of the most profound inventions in human thought. Why?

Because, in the classical sense, a function says: Given exactly the same input, I will produce exactly the same output. Always.

This is a miniature universe of pure lawfulness. No mood. No forgetting. No context-switching. Just: input → rule → output, reliably and consistently.

In the messy human world, this almost never happens:

The same words spoken to a friend may land differently depending on their mood
The same food cooked twice might taste different
The same effort on two different days might yield different results

But the function says: Here is a place where fidelity is perfect. Where cause and effect are bound without exception.

This is why functions became the backbone of computing, physics, engineering, and AI. They are small islands of absolute reliability in an ocean of uncertainty.

At the philosophical level: A function is a promise. It says: Within the system being defined, if you give me this, I will return that in a consistent way.

6. Functions Are Arrows

If algebra's sacred symbol is = (balance, justice), then a function's sacred symbol is → (direction, transformation).

f: A → B "From A to B, through f"

This is deeper than it looks. It says:

The world is not just a collection of things
Things are connected by directed relationships
Some things lead to other things

In mathematics, we write: f(x) = y. But read it as: x becomes y through f.

The arrow captures something algebra's equals sign cannot: directionality, dependence, flow. A function does not always mean physical causation; more fundamentally, it expresses a lawful assignment or relationship.

7. The Second Thought Experiment: The Shadow

Stand in sunlight. Move your hand. Your shadow moves.

Your hand is the input. The shadow is the output. The laws of light and geometry are the function.

Now ask: Is the shadow the hand?

No. But the shadow is determined by the hand in a specific, lawful way. The shadow carries information about the hand — its shape, its position, its orientation — but transformed into a different domain (2D from 3D).

This is what functions do: they project information from one world into another, preserving some structure, losing some, transforming all.

A function is a shadow cast by input through the light of a rule.

8. Functions Are Not Just Numbers

The deep truth: functions are not just about numbers.

This fits a broader philosophical theme of mathematics: the symbols may be chosen by us, but the relationships they reveal are what matter most.

A function can map:

A person → their birth date
A word → its definition
A state → its next state (how games and computers work)
A feeling → a facial expression
A thought → a sentence
A molecule → its shape
A mathematical space → another mathematical space

The function is the idea of transformation itself. It is older than numbers.

When you say: "If it rains, I will stay inside," you are describing a function:

Input: rain → Output: stay inside
Domain: weather states
Rule: if rain → prefer shelter

Functions are the way minds model consequence.

9. Functions in Programming: The Same Idea, Different Skin

In programming, a function is a block of code: take inputs, do something, return output.

def greet(name):
    return "Hello, " + name

But this is not just a programming convenience. It is the same primordial idea:

Abstraction: Name the transformation, reuse it infinitely
Encapsulation: You don't need to know how it works — just what it does
Composition: Small functions combine into larger ones (f(g(x)))

The difference between mathematical and programming functions is small:

Math functions: Pure, timeless, about what the relationship is
Programming functions: Practical, executable, about how to compute the relationship

But both inherit from the same root: something goes in, something comes out, and the mapping is consistent.

10. Composition: Functions Feeding Functions

Here's where functions transcend simple input-output and become a language of complexity.

If: f(x) = 2x and g(x) = x + 3 Then: f(g(x)) = 2(x + 3) = 2x + 6

One function feeds into another. Output of one becomes input of the next.

This is how simple rules build complex systems:

Sunlight → Photosynthesis → Glucose → Energy → Movement → Action → Consequence
Sound → Eardrum → Electrical signal → Brain → Emotion → Thought → Language → Understanding

Each step is a function. The chain is a composition. The whole thing is a system.

The universe, at some abstract level, is a vast composition of functions. Each transforming one thing into another. Each reliable. Each partial. Together, producing what we call reality.

11. The Inverse: Can We Go Backward?

Not every function can be reversed.

If f(x) = x², can we go backward from 9 to find x? We know 3² = 9 and (-3)² = 9. Two inputs map to the same output. The trail is lost.

Some functions preserve information: you can trace every output back to exactly one input. These are called injective (one-to-one).

Some functions cover everything: every possible output has some input leading to it. These are called surjective (onto).

Some functions do both: they are perfect, reversible mappings. Bijective. A two-way bridge.

This is philosophically rich: Some transformations lose information. Time, for example, acts like a function — from past states to future states. But can we reverse time? Can we reconstruct the past perfectly from the present? The second law of thermodynamics says no — information is lost. The function of time is not fully invertible.

Some arrows go one way. Some go both ways. Knowing which is which is part of wisdom.

12. The Function in Everyday Life

You use functions constantly without naming them:

Cooking: input = ingredients + heat, output = a dish
Navigation: input = destination, output = route
Learning: input = experience, output = understanding
Music: input = notes on a page, output = sound in the air
Language: input = thought, output = words
Friendship: input = time + attention, output = trust

Each is a function. Each has a domain (what you can put in), a codomain (what can come out), and a rule (how one becomes the other).

Functions are not just mathematical objects. They are the way anything transforms into anything.

13. Functions as Abstraction: The Third Power

Let's climb higher.

Numbers let us count without pointing at specific objects. (Abstraction level 1)
Variables (Algebra) let us reason without knowing the specific number. (Abstraction level 2)
Functions let us reason about relationships without knowing the specific things being related. (Abstraction level 3)

When we write f(x), we are saying: There is a relationship. I don't need to know what x is. I don't need to know what f does concretely. But I can reason about the structure of that relationship.

This is why:

f(g(x)) + h(x) = k(x)

...is intelligible even when every letter is a mystery. The structure of the relationship carries meaning without needing the details.

This is the third great leap: from objects, to unknowns, to relationships themselves.

And once you can talk about relationships abstractly, you can talk about:

How one relationship connects to another relationship
What properties all relationships of a certain type must have
Whether a relationship exists that satisfies certain conditions
How complex relationships can be built from simple ones

This is the door to higher mathematics: calculus, linear algebra, topology, category theory — all of them are built on this single idea: a function is a first-class object of study.

A Small Note: Object, Abstraction, Encapsulation

Object: An object is the unit your mind is currently treating as one thing. It does not have to be a physical thing; it can be a number, a shape, a function, a pattern, or even a whole system. The underlying reality may have many parts, but for the purpose of thought, we hold it as one.

Abstraction: Abstraction means choosing what to pay attention to and ignoring the details that are not important right now. It is how mathematics moves from one specific example to the deeper pattern behind many examples. In simple words: abstraction is seeing the structure behind the surface.

Encapsulation: Encapsulation means taking a structure and treating it as one coherent object. Instead of opening every small detail again and again, we work with the object through its known properties, relationships, and behavior. In simple words: encapsulation is giving a pattern a stable body so the mind can hold it and reason with it.

14. The Emotional Beauty of Functions

Algebra said: the unknown can be named and reasoned with. That was hopeful.

Functions say something even more hopeful: the unknown can be connected to the known.

You may not understand the input. You may not fully grasp the rule. But you can still know: if this, then that. And that "if-then" is enough to begin.

Functions are the bridge between what we know and what we don't. They let us say: I cannot see what happens inside the black box, but I can learn its behavior by feeding it inputs and observing outputs.

This is literally how science works. This is how we learn about any system we cannot open: the brain, the economy, the climate, the atom. We poke. We observe. We infer the function.

15. So What Is a Function, Really?

At the school level:

A function is a rule that assigns each input exactly one output.

At the deeper mathematical level:

A function is a mapping between sets — a subset of the Cartesian product that satisfies uniqueness, a relation with the special property of being single-valued.

At the programming level:

A function is a reusable block of computation that takes arguments and returns a result.

At the philosophical level:

A function is the idea that transformation can be lawful and consistent.

At the poetic level:

A function is the shape of cause meeting effect. It is the way one thing becomes another without losing the thread.

At the first-principle level:

A function is dependence, formalized.

16. The Bridge Back to Algebra

Algebra says: x — the unknown, named.

Functions say: f(x) — the unknown, transformed.

Algebra gave us the noun. Functions give us the verb.

x — a quantity f(x) — what that quantity becomes through a process

And this is why the learning path flows naturally:

Numbers → counting things
Variables → naming the unknown
Equations → relating the unknown to the known
Functions → making the unknown move, change, become

Algebra names the dancer. Functions choreograph the dance.

17. A Last Thought Experiment: The River

Imagine standing by a river. You place a small boat at point A. It flows to point B.

The river is the function. The boat is the input. Point B is the output.

Now ask: Is the boat the river? No. Does the river carry the boat? Yes. Can you predict where the boat will end up? If you understand the currents — yes. Is that prediction the same as the boat's journey? No. But it captures something real.

That is the nature of a function. It does not replace the thing it describes. It maps it. It gives you a handle on transformation. It lets you ask: If this changes, what happens to that?

And that question — if this changes, what happens to that? — is one of the most powerful questions any mind can ask. It is the question behind physics, behind economics, behind medicine, behind love, behind learning, behind growth.

Functions are how the mind asks: what depends on what?

Next: Geometry — The Shape of Functions →

← Back: Algebra