Products and Quotients of Real-Valued Maps on Euclidean Open Sets Are
theoremthm:product-rule-ck-real-maps-euclidean-2026bLet be \reftext{def:natural-numbers-2026a}{natural numbers} with , let be an \reftext{def:open-subset-euclidean-space-2026a}{open} subset of \reftext{def:euclidean-space-rn-2026a}{Euclidean space} , and let be maps of class \reftext{def:ck-map-euclidean-open-set-2026b}{} on .
(i) The pointwise product , defined by for , is of class \reftext{def:ck-map-euclidean-open-set-2026b}{} on .
(ii) If for every , then the pointwise quotient , defined by for , is of class \reftext{def:ck-map-euclidean-open-set-2026b}{} on .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…