The General Case
A wedge is a product of a cone with some set.
Let C be an open cone in the real vector space Rn, with vertex at the origin. Let E be an open subset of Rn, called the edge. Write W for the wedge in the complex vector space Cn, and write W' for the opposite wedge . Then the two wedges W and W' meet at the edge E, where we identify E with the product of E with the tip of the cone.
- Suppose that f is a continuous function on the union that is holomorphic on both the wedges W and W' . Then the edge-of-the-wedge theorem says that f is also holomorphic on E (or more precisely, it can be extended to a holomorphic function on a neighborhood of E).
The conditions for the theorem to be true can be weakened. It is not necessary to assume that f is defined on the whole of the wedges: it is enough to assume that it is defined near the edge. It is also not necessary to assume that f is defined or continuous on the edge: it is sufficient to assume that the functions defined on either of the wedges have the same distributional boundary values on the edge.
Read more about this topic: Edge-of-the-wedge Theorem
Famous quotes containing the words general and/or case:
“The General Order is always to manoeuver in a body and on the attack; to maintain strict but not pettifogging discipline; to keep the troops constantly at the ready; to employ the utmost vigilance on sentry go; to use the bayonet on every possible occasion; and to follow up the enemy remorselessly until he is utterly destroyed.”
—Lazare Carnot (1753–1823)
“Without metaphor the handling of general concepts such as culture and civilization becomes impossible, and that of disease and disorder is the obvious one for the case in point. Is not crisis itself a concept we owe to Hippocrates? In the social and cultural domain no metaphor is more apt than the pathological one.”
—Johan Huizinga (1872–1945)