Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Finitely generated submodules of differentiable functions

Author: B. Roth
Journal: Proc. Amer. Math. Soc. 34 (1972), 433-439
MSC: Primary 46E15
MathSciNet review: 0300072
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Suppose $ {[{\mathcal{E}^m}(\Omega )]^p}$ is the Cartesian product of the space of real-valued m-times continuously differentiable functions on an open set $ \Omega $ in $ {R^n}$ with itself p-times where m is finite and $ \Omega $ is connected. $ {[{\mathcal{E}^m}(\Omega )]^p}$ is a $ {\mathcal{E}^m}(\Omega )$-module. The finitely generated submodules of $ {[{\mathcal{E}^m}(\Omega )]^p}$ are $ {\text{im}}(F)$ where $ F:{[{\mathcal{E}^m}(\Omega )]^q} \to {[{\mathcal{E}^m}(\Omega )]^p}$ is a $ p \times q$ matrix $ {({f_{ij}})_{1 \leqq i \leqq p,}}_{1 \leqq j \leqq q},{f_{ij}} \in {\mathcal{E}^m}(\Omega )$. In the present paper, it is shown that $ {\text{im}}(F)$ is closed in $ {[{\mathcal{E}^m}(\Omega )]^p}$ if and only if the rank of the matrix $ {({f_{ij}}(x))_{1 \leqq i \leqq p,1 \leqq j \leqq q}}$ is constant for $ x \in \Omega $. Applications are made to systems of division problems for distributions.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 46E15

Retrieve articles in all journals with MSC: 46E15

Additional Information

Keywords: Spaces of differentiable functions, modules of differentiable functions, finitely generated submodules, spaces of distributions, division of distributions
Article copyright: © Copyright 1972 American Mathematical Society

American Mathematical Society