Formal Definition
We want the dimension of a point to be 0, and a point has empty boundary, so we start with
Then inductively, ind(X) is the smallest n such that, for every and every open set U containing x, there is an open V containing x, where the closure of V is a subset of U, such that the boundary of V has small inductive dimension less than or equal to n − 1. (In the case above, where X is Euclidean n-dimensional space, V will be chosen to be an n-dimensional ball centered at x.)
For the large inductive dimension, we restrict the choice of V still further; Ind(X) is the smallest n such that, for every closed subset F of every open subset U of X, there is an open V in between (that is, F is a subset of V and the closure of V is a subset of U), such that the boundary of V has large inductive dimension less than or equal to n − 1.
Read more about this topic: Inductive Dimension
Famous quotes containing the words formal and/or definition:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)