View source for Wedge (in a vector space)

{{TEX|done}}
''[[convex cone]]''

A [[convex set]] in a [[vector space]] over an [[ordered field]] that is invariant with respect to the transformation $x\mapsto\lambda x$, $\lambda\geq0$, that is, a set $K$ such that if $x,y\in K$ and $\lambda,\mu\geq0$, then $\lambda x+\mu y\in K$. A convex cone $K$ satisfying the condition: If $x,-x\in K$ then $x=0$, is called a proper (convex) cone. Each proper cone induces in the vector space a quasi-order: $x\geq y$ when $x-y\in K$. A proper cone $K$ in a space $X$ is called reproducing (or a domain of positivity) if $K-K=X$.



====Comments====

[[Open set]]s $K$ defined, as above, by the requirements that $x\in K$ implies $\lambda x\in K$, for all $\lambda\geq0$, and $x,y\in K$ implies $x+y\in K$, are usually called (open) cones.

Let $K$ be an open cone in a real [[topological vector space]] $k$, let $V$ be the intersection of $K$ with a bounded open ball with centre at $0\in k$, and let $U\neq\emptyset$ be an open set in $k$. Let

$$W^+=U+iV,\quad W^-=U-iV$$

be sets in the complexification of $k$ ($i^2=-1$). Then $W^+$ and $W^-$ are called wedges (and $U+i0$ is their  "edge"). For a use of wedges in the theory of analytic continuation see [[Bogolyubov theorem]].