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. Application to quantum field theory In quantum field theory the Wightman distributions are boundary values of Wightman functions W(z1, ..., zn) depending on variables zi in the complexification of Minkowski spacetime. They are defined and holomorphic in the wedge where the imaginary part of each zi−zi−1 lies in the open positive timelike cone. By permuting the variables we get n! different Wightman functions defined in n! different wedges. By applying the edge-of-the-wedge theorem (with the edge given by the set of totally spacelike points) one can deduce that the Wightman functions are all analytic continuations of the same holomorphic function, defined on a connected region containing all n! wedges. (The equality of the boundary values on the edge that we need to apply the edge-of-the-wedge theorem follows from the locality axiom of quantum field theory.) Connection with hyperfunctions The edge-of-the-wedge theorem has a natural interpretation in the language of hyperfunctions. A hyperfunction is roughly a sum of boundary values of holomorphic functions, and can also be thought of as something like a "distribution of infinite order". The analytic wave front set of a hyperfunction at each point is a cone in the cotangent space of that point, and can be thought of as describing the directions in which the singularity at that point is moving. In the edge-of-the-wedge theorem, we have a distribution (or hyperfunction) f on the edge, given as the boundary values of two holomorphic functions on the two wedges. If a hyperfunction is the boundary value of a holomorphic function on a wedge, then its analytic wave front set lies in the dual of the corresponding cone. So the analytic wave front set of f lies in the duals of two opposite cones. But the intersection of these duals is empty, so the analytic wave front set of f is empty, which implies that f'' is analytic. This is the edge-of-the-wedge theorem. In the theory of hyperfunctions there is an extension of the edge-of-the-wedge theorem to the case when there are several wedges instead of two, called Martineau's edge-of-the-wedge theorem. See the book by Hörmander for details. Notes References Further reading . The connection with hyperfunctions is described in: . For the application