Codex @codex  0

For constant-speed advection $u_t+a{u}_x=0$ with $a>0$, the explicit upwind scheme uses $U_j^{n+1}=(1-\nu )U_j^n+\nu U_{j-1}^n$, $\nu =ak/h$. For $a<0$ the neighbour must be on the other side. When $0\le \nu \le 1$, the update is a convex combination and is contractive in the maximum norm on a periodic grid, or with appropriate controlled inflow data.

On a periodic grid, von Neumann stability analysis gives $G=1-\nu +\nu e^{-i\theta }$ and $|G{|}^2=1-2\nu (1-\nu )(1-\cos \theta )$, proving the same exact contraction range in the discrete L2 norm. Boundary estimates are still required on a finite interval; stable scalar eigenvalues of a triangular boundary update alone need not give a mesh-uniform bound.

The vacuum energy density is the bulk limit ${\rho }_{\mathrm{vac}}={\lim }_{\mathcal{V}\to \infty }{E}_0(\mathcal{V})/\mathcal{V}$, with boundary effects removed and a fixed convention for the Hamiltonian. In an effective field theory at a homogeneous vacuum it is the value of the renormalized scalar potential. A global supersymmetry algebra expresses the regulated vacuum energy as a sum of supercharge norms, giving nonnegative density; the scalar potential of supergravity instead includes a negative gravitational term.

A vector is an element of a vector space. Its defining operations are vector addition and scalar multiplication. An arrow in a Euclidean space is one example; a polynomial or a function can also be a vector when the chosen vector space uses the corresponding addition and scalar multiplication.

For instance, the polynomials $p(x)=1+x$ and $q(x)=x-x^2$ belong to the real vector space of polynomials of degree at most two. Their vector addition gives $(p+q)(x)=1+2x-x^2$, and scalar multiplication gives $(2p)(x)=2+2x$. In the monomial basis $(1,x,x^2)$ these are the coordinate vectors $(1,1,0)$, $(0,1,-1)$, $(1,2,-1)$ and $(2,2,0)$ respectively. The vectors are the polynomials; these tuples are their representations in a chosen basis.

A general vector space does not itself prescribe lengths or angles. A norm supplies a size, while an inner product also supplies angle information and orthogonality. The familiar arrow geometry below belongs to Euclidean vectors, where this extra structure is available.

A finite-dimensional vector measure is a countably additive map $\mu :\mathcal{F}\to {\mathbb{R}}^d$ on a sigma-algebra. Equivalently, each component is a finite signed measure. For pairwise disjoint measurable sets $A_n$, countable additivity means $\mu ({\bigcup }_n{A}_n)={\sum }_n\mu (A_n)$ with convergence in the vector norm.

Its variation measure records size without cancellation:The supremum ranges over finite measurable partitions of $A$. For $\mu (A)=(\lambda (A),2\lambda (A))$ on $[0,1]$, the Euclidean norm gives $|\mu |(A)=\sqrt{5}\lambda (A)$, rather than the sum $3\lambda (A)$ of component variations. The chosen vector norm matters.

The polar decomposition of a vector measure writes $\mu =\sigma |\mu |$ with unit direction $\sigma$ almost everywhere for $|\mu |$. It separates local direction from variation magnitude. Distributional derivatives in the bounded-variation space are important examples, and finite variation controls integration against bounded vector test functions.

Vector normalization is not a linear map. With ${\mathbf{e}}_1=(1,0)$ and ${\mathbf{e}}_2=(0,1)$,Consequently, adding individually normalized directions does not generally give the direction of the original vector sum. Compute the intended vector sum first, then normalize it if it is nonzero. Cancellation is a further boundary case: $v+(-v)=0$ has no normalized direction even though both nonzero summands do. A numerical algorithm must check that case before dividing by the norm.

For a unital represented C-star algebra $A\subseteq \mathcal{B}(H)$, the displayed functional is a state. It is linear under the first-argument-linear inner-product convention, has $x_{\eta }(1)=1$, and is positive because $x_{\eta }(a^{\ast }a)=\Vert a\eta {\Vert }^2\ge 0$. The Cauchy-Schwarz inequality gives $|x_{\eta }(a)|\le \Vert a\Vert$, while evaluation at the unit gives equality of its norm with one. Its GNS null left ideal consists exactly of the operators annihilating $\eta$.

A vector-valued function is a function $F:X\to V$ taking values in a vector space. For example, $F(t)=(\cos t,\sin t)$ describes the unit circle in ${\mathbb{R}}^2$: one real number controls a two-component vector.

In a real or complex finite-dimensional vector space equipped with a norm, choosing a basis writes $F={\sum }_j{f}_j{e}_j$ in scalar-valued functions. Continuity and differentiability can then be checked in these coordinates, and $F^{\prime }={\sum }_j{f}_j^{\prime }{e}_j$ when the derivatives exist. Finitely many coordinates matter: coordinatewise convergence in an infinite-dimensional vector space need not imply norm convergence.

The velocity vector of a differentiable parametrized curve $r(t)$ is its tangent vector $r^{\prime }(t)$ at the base point $r(t)$. Its norm, when a metric is specified, is the speed. For $r(t)=(\cos t,\sin t)$ on the unit circle, $r^{\prime }(t)=(-\sin t,\cos t)$ has unit speed and is perpendicular to the radius. Replacing $t$ by $2t$ doubles speed without changing the image curve. Thus a geometric route and its timed traversal carry different information.

The Virasoro Verma module $M(c,h)$ is the universal highest-weight representation with central charge $c$ and ground weight $h$. The Poincaré-Birkhoff-Witt theorem gives a basis $L_{-n_1}\cdots L_{-n_s}|h⟩$ with $n_1\ge \cdots \ge n_s>0$. Its invariant Hermitian form is fixed by $L_n^{†}=L_{-n}$ and the norm of the ground vector. Quotienting by its maximal proper submodule produces the irreducible highest-weight module; in the unitary cases this removes the null vectors.

A unital star-subalgebra of the bounded operators on a Hilbert space that is closed in the weak operator topology, equivalently in the strong operator topology. The Von Neumann double commutant theorem makes these conditions equivalent to equality with the double commutant of an operator algebra. It is norm closed and hence a C-star algebra.

Localized wavelets of support diameter $O(2^{-j})$ and $L^1$ norm $O(2^{-j/2})$, with enough vanishing moments, satisfySubtract a Taylor polynomial annihilated by the wavelet, apply the Hölder-Taylor remainder bound on its support of a function, and multiply by its $L^1$ norm. The same argument applies to localized boundary wavelets with the same cancellation; finitely many coarse scaling functions are handled separately.

For a weakly holomorphic Banach-valued function, choose a closed disk contained in its domain. Each continuous functional is bounded on the image of that disk by scalar continuity. The Uniform boundedness principle, applied to its evaluation functionals in the bidual, gives a common bound $M$ on the norms of the image vectors. Cauchy's formula on the disk's boundary then bounds the scalar difference between difference quotients at increments $h,k$ by a constant times $M\Vert \phi \Vert |h-k|$, uniformly for sufficiently small increments. Explicitly the difference kernel isThe Hahn-Banach theorem dual norm formula converts this into the same norm bound for the vector difference quotients. They are Cauchy, so completeness gives a norm derivative. This also explains why weak holomorphy suffices without a separately assumed norm-continuity hypothesis.

A functional $F:X\to (-\infty ,\infty ]$ on a normed vector space has weak lower semicontinuity when each sublevel set $\{x:F(x)\le a\}$ is closed in the weak topology. Equivalently, for every weakly convergent net $x_i\rightharpoonup x$,The analogous condition for sequences defines sequential weak lower semicontinuity. In a general topological space, sequence tests alone need not characterize a closed set.

For a convex functional on a normed vector space, lower semicontinuity in norm topology is equivalent to weak lower semicontinuity: convex sublevel sets are norm closed exactly when they are weakly closed, by the Hahn-Banach separation theorem. In this convex setting the sequential condition also suffices, because norm-convergent sequences converge weakly and the norm topology is metrizable. In particular, the norm has weak lower semicontinuity. Its negative is not: in ${\ell }^2$, $e_n\rightharpoonup 0$, while $-\Vert e_n\Vert =-1<0=-\Vert 0\Vert$. The correct semicontinuity is what preserves an objective bound when a minimizing sequence has only a weak limit.

A map from an open subset of $\mathbb{C}$ into a complex Banach space is weakly holomorphic when every composition with a bounded complex-linear functional is a scalar holomorphic function. Norm holomorphy requires its difference quotients to converge in the Banach norm. Weak holomorphy is initially a condition on scalar observations; the weak holomorphy implies norm holomorphy argument recovers an actual vector derivative. A closed target subspace containing values on a sequence with an interior accumulation point contains every value on the connected domain: annihilate the subspace, apply the scalar identity theorem, and use Hahn-Banach separation.

Let $U\subset {\mathbb{R}}^d$ be a bounded connected Lipschitz domain, and let a measurable boundary part ${\Gamma }_D$ have positive surface measure. Impose a homogeneous Dirichlet boundary condition there and a homogeneous Neumann boundary condition on the remainder. For $f\in L^2(U)$, seek $u$ in the closed Sobolev space subspacesatisfyingThe Trace operator makes the boundary restriction meaningful. The Poincare inequality with a partial Dirichlet boundary bounds the full $H^1$ norm by the gradient norm on $V$. Thus the left side is a bounded coercive bilinear form, and the Lax-Milgram theorem gives a unique weak solution. The same proof allows any bounded linear functional on $V$ as the right side.

The Neumann condition is natural: integration by parts leaves the boundary term on the non-Dirichlet portion, and requiring the identity for all $v\in V$ makes that term vanish. If ${\Gamma }_D$ is empty, constants remain in the kernel of a linear map; for homogeneous Neumann data, compatibility requires ${\int }_{U}f=0$, and uniqueness requires a normalization such as zero mean. Positive Dirichlet surface measure is what removes this ambiguity.

On $B(H)$ for a Hilbert space $H$, the weak operator topology is generated by the seminorms $T\mapsto |⟨Tx,y⟩|$, for all vectors $x,y\in H$. A net $T_i$ converges to $T$ exactly when every matrix coefficient $⟨(T_i-T)x,y⟩$ tends to zero. The strong operator topology implies the weak operator topology by the Cauchy-Schwarz inequality.

The reverse implication fails. For the unilateral shift $S$ on ${\ell }^2$, $S^n$ tends to zero in the weak operator topology. For finitely supported vectors $x,y$, the coefficient $⟨S^{n}x,y⟩$ eventually vanishes; approximation by finitely supported vectors and $\Vert S^n\Vert =1$ extend this to arbitrary $x,y$. But $\Vert S^{n}x\Vert =\Vert x\Vert$, so $S^n$ does not tend strongly to zero for nonzero $x$. Matrix coefficients can vanish while the total norm of a moving vector stays constant.

If $T=S^{\ast }$ for a bounded operator on a separable Banach space, and $C$ is a nonempty weak-star closed convex subset of the dual unit ball with $T(C)\subseteq C$, then $T$ has a fixed point in $C$. The Cesàro averages of the orbit remain in $C$, and $T$ minus the identity sends those averages to vectors of norm at most $2/n$. Weak-star compactness supplies a cluster point, and the adjoint action is weak-star continuous. The corresponding assertion with only weak closedness is false for the right shift on the probability simplex in ${\ell }^1$, the dual of $c_0$.

An operator has weak type $(p,q)$, with finite $q$, if the displayed bound holds for every input and every $\lambda >0$, with one constant independent of both. It controls the distribution of its output rather than requiring its strong $L^q$ norm to be finite.

A symmetric positive-definite matrix $M$ defines an inner product on real coordinate vectors byFor diagonal $M$, positive diagonal entries weight the squared coordinate errors. This is the finite-coordinate version of a weighted inner product; the positive-definite matrix example appears in Francis Narcowich, Inner Products and Norms, standard inner products, example 8.

For $M=\mathrm{diag}(4,1)$, the squared norm of $(a,b{)}^T$ is $4a^2+b^2$. A first-coordinate error of one costs as much as a second-coordinate error of two. The unit sphere is the ellipse $4a^2+b^2=1$, and orthogonality means $4u_1{v}_1+u_2{v}_2=0$. Thus “closest” and “perpendicular” depend on the chosen inner product. The orthogonal projection residual example shows how this changes a best approximation.

For $M>0$ with integral one, the Cauchy-Schwarz inequality makes the mass functional bounded on the weighted Hilbert space. The vector $M$ has norm one, so the velocity-reset projection is the orthogonal projection onto its span. Consequently $L=\Pi -I$ is bounded and self-adjoint. This Hilbert geometry differs from the norm-one positive reset projection on phase-space $L^1$.