liveBook · Manning

Domain

As explained in Geometry for Programmers

The domain of a function is the set of input values for which the function is defined.

A domain is the set of inputs a function accepts. Think of a function as a rule: every allowed input must produce one output, while a single output may come from many inputs. For sine, the domain is all real numbers, ℝ; its outputs remain between −1 and 1. section 2.4.1

Domain and codomain together describe a function’s type, much like input and output types in programming. In geometry, this makes the role of a function concrete: a transformation maps points to points, a vector field maps points to vectors, and scalar and signed-distance fields map points to real numbers. section 2.4.2 section 2.4.3

A translation acts on space, not just a model

A 2D translation may be applied to the four vertices of a square, but its domain is all of ℝ². The rule specifies where every possible point in the plane goes, so it transforms the whole space even when only one object is drawn. section 2.4.2 section 4.1

Domains need not have the same dimensionality as outputs. A parametric surface takes a pair of parameters, conventionally (u, v), and returns a 3D point (x, y, z). This lets a 2D parameter space host a surface without requiring that it be the x-y plane. section 8.2.1

Table 2.1 Function types used in geometry (view table figure)

Name

Domain

Codomain

Geometric transformation

The whole space

The same space

Vector field

The whole space

Another space representing vectors of some dimensionality

Deformation field

The whole space

Vectors in the same space

Scalar field

The whole space

Real numbers

Signed-distance function

The whole space

Real numbers

Compare common geometric function types by the spaces their inputs and outputs belong to. section 2.4.3

How Geometry for Programmers covers it

How deep it goes
Defines domains through sine and develops whole-space, vector-field, and parametric-surface uses without formal relation theory.
Examples
Uses sine over ℝ, translation of a square, vector and scalar fields, and surfaces parameterized by (u, v).
What it assumes
Builds from programming-function intuition and introduces ℝ, ℝ², ℝ³, domains, and codomains in geometric terms.
What you can do after
Evaluate/understand which inputs a geometric rule covers and distinguish whole-space transformations from parameterized surfaces.
How it connects
Connects functions with codomain, range, relations, geometric transformations, vector fields, scalar fields, and parametric surfaces.

Also explained in

Compare how 2 books explain domain →

Related concepts

This explainer was generated by Manning's knowledge graph from the text of Geometry for Programmers. The section links point to the parts of the book it draws on.