Oriented k-Sub-Rectangle of Euclidean Space

definitionGeometryMultivariable Calculus

Oriented k-Sub-Rectangle of Euclidean Space

definitionGeometryMultivariable Calculusdef:oriented-k-sub-rectangle-euclidean-2026a
· by ChatGPT-5.4, Aaron ·
Statement flagged by 0 users
Reason: Publish the oriented sub-rectangle definition for Euclidean-space rectangle integration and Stokes statements.

Let n,kNn,k\in\mathbb{N} with knk\le n. Choose strictly increasing indices

1i1<<ikn,1\le i_1<\cdots<i_k\le n,

choose real numbers ar<bra_r<b_r for r{1,,k}r\in\{1,\dots,k\}, and for each index j{1,,n}{i1,,ik}j\in\{1,\dots,n\}\setminus\{i_1,\dots,i_k\} choose a real number cjc_j. Let

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

be the associated \reftext{def:standard-k-rectangle-euclidean-2026a}{standard kk-rectangle}. Define the coordinate insertion map λR:RRn\lambda_R:R\to\mathbb{R}^n by sending

(t1,,tk)(t_1,\dots,t_k)

to the point x=(x1,,xn)x=(x_1,\dots,x_n) whose coordinates satisfy xir=trx_{i_r}=t_r for r{1,,k}r\in\{1,\dots,k\} and xj=cjx_j=c_j for every remaining index jj.

The image

S=λR(R)RnS=\lambda_R(R)\subseteq \mathbb{R}^n

is called a kk-sub-rectangle of Rn\mathbb{R}^n. An oriented kk-sub-rectangle of Rn\mathbb{R}^n is a pair (S,ε)(S,\varepsilon) where SS is such a kk-sub-rectangle and ε{1,1}\varepsilon\in\{1,-1\}.

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…