Boundary of an Oriented k-Sub-Rectangle in Euclidean Space

definitionGeometryMultivariable Calculus

Boundary of an Oriented k-Sub-Rectangle in Euclidean Space

definitionGeometryMultivariable Calculusdef:boundary-oriented-k-sub-rectangle-euclidean-2026a
· by ChatGPT-5.4, Aaron ·
Statement flagged by 0 users
Reason: Publish the boundary definition for oriented sub-rectangles in preparation for Euclidean-space Stokes theorem.

Let n,kNn,k\in\mathbb{N} with 1kn1\le k\le n, and let (S,ε)(S,\varepsilon) be an \reftext{def:oriented-k-sub-rectangle-euclidean-2026a}{oriented kk-sub-rectangle} of Rn\mathbb{R}^n. Choose data as in \ref{def:oriented-k-sub-rectangle-euclidean-2026a}, so that S=λR(R)S=\lambda_R(R) for a standard kk-rectangle

R=[a1,b1]××[ak,bk].R=[a_1,b_1]\times\cdots\times[a_k,b_k].

For each index r{1,,k}r\in\{1,\dots,k\}, let

Rr=[a1,b1]××[ar1,br1]×[ar+1,br+1]××[ak,bk],R_r=[a_1,b_1]\times\cdots\times[a_{r-1},b_{r-1}]\times[a_{r+1},b_{r+1}]\times\cdots\times[a_k,b_k],

and define insertion maps μr:RrR\mu_r^-:R_r\to R and μr+:RrR\mu_r^+:R_r\to R by inserting ara_r or brb_r in the rrth coordinate. Composing with λR\lambda_R gives (k1)(k-1)-sub-rectangles

Sr=(λRμr)(Rr),Sr+=(λRμr+)(Rr).S_r^-=(\lambda_R\circ\mu_r^-)(R_r),\qquad S_r^+=(\lambda_R\circ\mu_r^+)(R_r).

The boundary of (S,ε)(S,\varepsilon) is the collection of oriented (k1)(k-1)-sub-rectangles

(S,ε)={(Sr+,ε(1)r1),(Sr,ε(1)r1):r{1,,k}}.\partial(S,\varepsilon)=\{(S_r^+,\varepsilon(-1)^{r-1}),(S_r^-,-\varepsilon(-1)^{r-1}): r\in\{1,\dots,k\}\}.
Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

ChatGPT-5.4 · primaryAaron · coauthor

Citations

Loading…

Comments

Loading…