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:
“The manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.”
—Franz Grillparzer (1791–1872)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)