Domains & Level Sets — Domains and level sets for...

SECTION 1

Historical Context & Motivation

When you first learned about functions in algebra, you worked with one input and one output—things like f(x) = x². But the real world rarely depends on just one variable. Temperature on a weather map depends on both latitude and longitude. The altitude of a hiker depends on two coordinates on a topographic map. Mathematicians needed tools to handle functions of two or more variables, and that quest gave rise to the concepts of domains and level sets for multivariable functions.

1748

Euler's Multivariable Vision

Leonhard Euler systematically studied functions of several variables, laying the groundwork for analyzing surfaces and their properties in his Introductio in analysin infinitorum.

1800s

Contour Maps in Cartography

Topographers began drawing contour lines—curves connecting points of equal elevation—on maps. These are exactly the level sets of the altitude function f(x, y).

1850

Riemann & Domain Theory

Bernhard Riemann formalized the idea that the region where a function is defined (its domain) is just as important as the function's formula itself.

1900s

Modern Multivariable Calculus

Level sets became standard tools in physics and engineering for visualizing electromagnetic fields, pressure systems, and temperature distributions.

The central question is deceptively simple: given a function of several variables, where is it defined, and how can we visualize it even though we can't easily draw four-dimensional graphs? Domains and level sets provide the answers.

SECTION 2

Core Principles & Definitions

Before diving into calculations, you need a solid grasp of the key definitions that drive everything in this topic. A multivariable function is a rule that takes two or more input values and produces a single output. For instance, f(x, y) = x² + y² takes a pair (x, y) and returns a number. The ideas below extend naturally from what you already know about single-variable functions.

Domain

The domain of a multivariable function is the set of all input points (x, y) — or (x, y, z) — for which the function produces a real-number output. Think of it as the function's "allowed region" in the plane or in space.

Range

The range is the set of all possible output values. For f(x, y) = x² + y², every output is ≥ 0, so the range is [0, ∞).

Level Curve

A level curve is the set of all points (x, y) in the domain where f(x, y) equals a fixed constant c. It is the 2D analog of a contour line on a map.

Level Surface

For functions of three variables, a level surface is the set of all points (x, y, z) where f(x, y, z) = c. These are 3D shells or shapes in space.

Natural vs. Restricted Domain

The natural domain includes every point where the formula makes sense. A restricted domain is a smaller region chosen for a specific context, like limiting a model to positive values only.

✦ KEY TAKEAWAY

Think of the domain as the floor plan of a building—it tells you which rooms exist. Level curves are like altitude lines on a hiking trail map: they show you where the ground is at the same height. By drawing several level curves on the domain, you build a "topographic portrait" of a surface you otherwise couldn't sketch on paper.

SECTION 3

Visual Explanation — Domains in the Plane

Visualizing the domain of a multivariable function means shading the region in the xy-plane where the function is defined. Below, two common examples are shown side by side: a function involving a square root (which requires its argument to be non-negative) and a function involving a fraction (which excludes points where the denominator is zero).

Left: the domain of f(x, y) = √(9 − x² − y²) is the closed disk of radius 3 (shaded blue-violet), because we need 9 − x² − y² ≥ 0. Right: the domain of g(x, y) = 1/(x² + y² − 4) is all of ℝ² except the circle of radius 2 (dashed pink), where the denominator equals zero.

Notice how the domain sketch tells you a lot even before you compute any outputs. In the left diagram, every point inside and on the circle of radius 3 is fair game; step outside that circle and the expression under the square root goes negative. In the right diagram, almost every point works—only the thin circle where x² + y² = 4 must be avoided because it would make you divide by zero.

SECTION 4

Mathematical Framework

Let's formalize the ideas with precise notation. You'll encounter these formulas throughout multivariable calculus, so it's worth getting comfortable with them now.

DOMAIN DEFINITION

Dom(f) = { (x, y) ∈ ℝ² : f(x, y) is defined }

The domain is the set of all ordered pairs (x, y) in the real plane for which the function's formula produces a real number. Replace ℝ² with ℝ³ for functions of three variables.

LEVEL CURVE EQUATION

L_c = { (x, y) ∈ Dom(f) : f(x, y) = c }

L_c denotes the level curve at height c. Choose different constants c to generate a family of curves that together form a contour map.

LEVEL SURFACE (THREE VARIABLES)

S_c = { (x, y, z) ∈ Dom(f) : f(x, y, z) = c }

For a function of three variables, each level set is a surface in 3D space, not a curve. For example, if f(x, y, z) = x² + y² + z², the level surface at c = 1 is the unit sphere.

Common Domain Restrictions

Common restrictions that determine the domain of multivariable functions

Expression Type	Restriction Rule	Example
Square root √(expr)	expr ≥ 0	√(4 − x² − y²): need x² + y² ≤ 4
Fraction 1/expr	expr ≠ 0	1/(x − y): need x ≠ y
Logarithm ln(expr)	expr > 0	ln(x + y): need x + y > 0
Even root inside fraction	Combine rules	1/√(x² − 1): need x² > 1, i.e., \|x\| > 1

SECTION 5

Level Curves in Detail

Drawing level curves is the most powerful way to "see" a function of two variables without needing a 3D graph. You pick several values of c, solve f(x, y) = c, and plot each resulting curve in the xy-plane. The collection of these curves is called a contour map. When the curves are close together, the function is changing rapidly (like a steep hillside); when they are far apart, the function changes slowly (like a gentle slope).

The contour map of f(x, y) = x² + y² consists of concentric circles centered at the origin. Each circle has radius √c. As c increases, the circles grow outward. Notice the circles are evenly spaced when plotted at c = 1, 4, 9, 16, 25 because the radii are 1, 2, 3, 4, 5—equal increments.

For f(x, y) = x² + y², setting f = c gives x² + y² = c, which is a circle of radius √c centered at the origin. The function represents a paraboloid that opens upward—like a bowl. The level curves are circular "slices" of that bowl at different heights. If you were looking at the bowl from directly above, you would see exactly these concentric rings.

💡 Quick Tip

Level curves for a given function never cross. If they did, a single point would produce two different outputs, violating the definition of a function.

SECTION 6

Worked Example

Let's work through a complete problem that combines finding the domain with sketching level curves.

Find the domain and sketch three level curves of f(x, y) = ln(x − y²)

Step 1 — Identify Domain RestrictionsThe natural logarithm ln(u) is defined only when u > 0. Here the argument is x − y², so we need x − y² > 0, which simplifies to x > y².

Domain: { (x, y) ∈ ℝ² : x > y² } — the region to the right of the parabola x = y²

Step 2 — Describe the Domain GeometricallyThe parabola x = y² opens to the right. The domain is everything strictly to the right of this parabola. The boundary curve x = y² itself is not included because ln(0) is undefined.

Open region to the right of x = y² (boundary excluded)

Step 3 — Set Up Level Curve EquationsFor a level curve at height c, set f(x, y) = c: ln(x − y²) = c. Exponentiate both sides to get x − y² = e^c, which rearranges to x = y² + e^c.

Level curve equation: x = y² + eᶜ

Step 4 — Compute Specific Level CurvesChoose c = 0, 1, and −1. For c = 0: x = y² + e⁰ = y² + 1. For c = 1: x = y² + e¹ ≈ y² + 2.718. For c = −1: x = y² + e⁻¹ ≈ y² + 0.368. Each of these is a rightward-opening parabola shifted to the right by e^c units.

c = −1 → x = y² + 0.368; c = 0 → x = y² + 1; c = 1 → x = y² + 2.718

Step 5 — Interpret the ResultsAll three level curves are parabolas of the same shape, just shifted horizontally. As c increases, the parabola moves further to the right. Near the boundary parabola x = y², the function value drops toward −∞ (since ln approaches negative infinity as its argument approaches zero). Far to the right, the function grows without bound.

The contour map consists of a family of rightward-opening parabolas x = y² + eᶜ, all nested inside the domain

SECTION 7

Strengths & Limitations of Level Sets

Level sets are an incredibly useful visualization tool, but like any tool they have trade-offs. Understanding when they shine—and when a 3D graph or a table of values might serve you better—will make you a more versatile problem-solver.

Comparing the strengths and limitations of level-set visualization

Aspect	Strengths	Limitations
Dimensionality	Reduce a 3D surface to a 2D drawing you can sketch on paper.	You lose the literal height information—you must read it from labels.
Rate of Change	Closely packed curves show steep regions; widely spaced curves show flat regions.	The direction of increase/decrease is not always obvious without extra annotation (gradient arrows).
Generality	Work for any continuous function of two variables, and extend to level surfaces for three-variable functions.	For functions with more than three variables, level sets live in dimensions we cannot draw.
Precision	Exact algebraic curves can be computed and plotted.	Complex functions may produce level curves too complicated to sketch by hand.

🗺️ BIG PICTURE

Level curves relate to 3D surfaces the same way contour lines on a topographic map relate to real terrain. A skilled hiker reads contour lines to predict steep cliffs (lines bunched together) and gentle valleys (lines spread apart). In the same way, reading level curves lets you "hike" a mathematical surface without ever graphing it in 3D.

SECTION 8

Connection to Advanced Topics

Domains and level sets are the starting point for nearly everything you'll encounter later in multivariable calculus. The table below shows how these foundational ideas feed into more advanced concepts.

How domains and level sets connect to advanced multivariable calculus topics

This Lesson	Where It Leads
Domain of f(x, y)	Regions of integration in double and triple integrals — you integrate over a domain.
Level curves f(x, y) = c	The gradient ∇f is always perpendicular to level curves, which is central to optimization and Lagrange multipliers.
Level surfaces f(x, y, z) = c	Implicit surfaces used in physics (equipotential surfaces, isothermal surfaces) and computer graphics.
Spacing of level curves	Directional derivatives and the magnitude of the gradient — these quantify the rate of change you can see qualitatively in contour spacing.

In particular, the gradient vector ∇f always points in the direction where f increases most steeply, and it is perpendicular to the level curve passing through any point. This fact is the backbone of optimization theory and will come up repeatedly in future courses.

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

In your own words, explain why the level curves of a function f(x, y) can never intersect each other. What property of functions would be violated if they did?

PROBLEM 2 — BASIC CALCULATION

Find the domain of f(x, y) = √(x − 2y + 6). Express your answer as an inequality and describe the region geometrically.

PROBLEM 3 — INTERMEDIATE

For g(x, y) = x² − y², find and identify the level curves for c = −4, c = 0, and c = 4. What type of conic section is each curve?

PROBLEM 4 — APPLIED

A temperature model for a heated plate is T(x, y) = 100 − x² − 4y². Find the domain (the plate is a physical object defined wherever T ≥ 0), and describe what the level curves T = 50 and T = 75 look like. Which level curve encloses a larger region?

PROBLEM 5 — CRITICAL THINKING

Consider f(x, y) = 1/√(x² + y² − 1) + ln(4 − x² − y²). Find the domain by combining both restrictions. Then explain, without computing specific level curves, whether you expect the level curves to be closed loops, open curves, or something else, and justify your reasoning.

SUMMARY

Lesson Summary

A multivariable function maps input points (x, y) or (x, y, z) to a single output value. The domain is the set of all inputs where the function is defined—determined by restrictions like avoiding square roots of negatives, division by zero, or logarithms of non-positive numbers. A level curve (for two-variable functions) is the set of all points where f(x, y) equals a constant c, and a level surface (for three-variable functions) is where f(x, y, z) = c.

Drawing several level curves produces a contour map—a 2D portrait of a 3D surface. Closely spaced curves indicate rapid change (steep slopes), while widely spaced curves indicate gentle variation. Level curves never intersect because a function has exactly one output per input. These ideas form the foundation for studying the gradient, optimization, and integration over regions in higher-dimensional calculus.