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:
“Good gentlemen, look fresh and merrily.
Let not our looks put on our purposes,
But bear it as our Roman actors do,
With untired spirits and formal constancy.”
—William Shakespeare (1564–1616)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)