首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 109 毫秒
1.
令$k,\ell \geq 2$是正整数.令$A$是无限非负整数的集合.对$n\in \mathbb{N}$, 令$r_{1,k,\ldots,k^{\ell-1}}(A, n)$表示方程$n=a_0+ka_1+\cdots +k^{\ell-1}a_{\ell-1}$, $a_0, \ldots, a_{\ell-1}\in A$解的个数. 在本文中, 我们证明了对所有$n\geq 0$, $r_{1,k,\ldots,k^{\ell-1}}(A, n)=1$当且仅当$A$是$k^\ell$进制展开中数位小于$k$的所有非负整数的集合. 这个结果部分回答了S\''{a}rk\"{o}zy and S\''{o}s关于多维线性型表示的一个问题.  相似文献   

2.
Kobayashi讨论了空间图在三维流形中的一类标准嵌入,给出了书册表示的概念,并证明了空间图$K_n$的书册表示的最少页是页变换与固边合痕意义下的不变量.本文给出了完全二部图$K_{m,n}$的框架表示的概念,并且证明了完全二部图的框架表示的最小层是层变换与固边合痕意义下的不变量.  相似文献   

3.
设$h(G; x) =h(G)$和$[G]_h$分别表示图$G$的伴随多项式和伴随等价类. 文中给出了$[G]_h$的一个新应用. 利用$[G]_h$, 给出了图$H{\;}(H \cong G)$伴随唯一的充要条件, 其中$H=(\bigcup_{i{\in}A}P_i){\bigcup}(\bigcup_{j{\in}B}U_j)$, $A \subseteq A^{'}=\{1,2,3,5\} \bigcup \{2n|n \in N, n \geq 3\}$, $B \subseteq B^{'}  相似文献   

4.
用二值矩阵表示的方法(即将格矩阵表示成二值矩阵的线性组合)研究了分配格上矩阵的{1}-广义逆和{1,2}-广义逆. 讨论了{1}-广义逆和{1,2}-广义逆存在的充分必要条件. 给出了判断这些逆是否存在且存在时找出所有这些逆的算法. 从而解决了Kim和Roush(K.H.Kim,F.W.Roush. Generalized fuzzy matrix. Fuzzy Sets and Systems,1980,4(3):293~315)及部分解决了Cao和Kim(Z.Q.Cao,K.H.Kim,F.W.Roush. Incline algebra and applications. New York:John Wiley,1984)提出的问题.  相似文献   

5.
保矩阵{1}逆的线性映射   总被引:1,自引:0,他引:1  
卜长江  郝立丽 《数学研究》2003,36(4):418-421
设R是特征为2的主理想整环,Mn(R)表示R上n×n矩阵代数,在本文中我们给出了保Mn(R)中矩阵{1}逆的线性映射的一个刻划.  相似文献   

6.
首先运用比文献[2]更简单的方法导出了一元Meyer-K\"{o}nig and Zeller算子矩量的一个积分表示, 然后利用这一方法建立了二元(单纯形上)Meyer-K\"{o}nig and Zeller算子矩量的一个递推公式, 最后作为这个递推公式的应用, 给出了该算子的二阶、三阶矩量的积分表示.  相似文献   

7.
B\'{e}zier曲面有两种不同的形式:三角B\'{e}zier曲面和四边B\'{e}zier曲面,它们有着不同的基底和不同的几何拓扑结构, 但是它们也有很多共同的性质,因此三角B\'{e}zier曲面和四边B\'{e}zier曲面之间的相互转化就成为CAGD 里一个重要研究课题.在本文中, 我们用函数复合的方法实现两者之间的相互转化.被复合的两个函数, 一个用Polar形式表示,另一个用常见的Bernstein基形式表示.  相似文献   

8.
该文研究了随机函数列{tλn(ω)在加权Banach空间Cα中的完备性与闭包.其中Cα表示在正实轴上连续且满足当,t→ ∞时,|f(t)|e-α(t)→0的连续复函数组成的Banach空间.  相似文献   

9.
对加权Dirichlet空间${\cal D}_{\alpha}=\left\{f\in H(D) ; ||f||_{{\cal D}_{\alpha}}^{2}=|f(0)|^{2}+\int_{D}|f'(z)|^{2}(1-|z|)^{\alpha}\d m(z)<+\infty \right\},~~-1<\alpha<+\infty,$我们研究了其上一般Ces$\grave{a}$ro算子的有界性. 此处$H(D)$表示复平面单位圆盘$D$上全纯函数的全体.  相似文献   

10.
$[b,T]$表示由Lipschitz函数$b$与广义Calder\'{o}n-Zygmund算子$T$生成的交换子.本文研究了$[b,T]$在经典Hardy空间和Herz型Hardy空间上的有界性,并且在临界点情形证明了该交换子是从Hardy空间到弱Lebesgue空间以及Herz型Hardy到弱Herz空间有界的.  相似文献   

11.
Here presented is a matrix representation of recursive number sequences of order $3$ defined by $a_n=pa_{n-1}+qa_{n-2}+ra_{n-3}$ with arbitrary initial conditions $a_0,$ $a_1=0$, and $a_2$ and their special cases of Padovan number sequence and Perrin number sequence with initial conditions $a_0=a_1=0$ and $a_2=1$ and $a_0=3$, $a_1=0$, and $a_2=2$, respectively. The matrix representation is used to construct many well known and new identities of recursive number sequences as well as Pavodan and Perrin sequences.  相似文献   

12.
Finding a sparse approximation of a signal from an arbitrary dictionary is a very useful tool to solve many problems in signal processing. Several algorithms, such as Basis Pursuit (BP) and Matching Pursuits (MP, also known as greedy algorithms), have been introduced to compute sparse approximations of signals, but such algorithms a priori only provide sub-optimal solutions. In general, it is difficult to estimate how close a computed solution is from the optimal one. In a series of recent results, several authors have shown that both BP and MP can successfully recover a sparse representation of a signal provided that it is sparse enough, that is to say if its support (which indicates where are located the nonzero coefficients) is of sufficiently small size. In this paper we define identifiable structures that support signals that can be recovered exactly by minimization (Basis Pursuit) and greedy algorithms. In other words, if the support of a representation belongs to an identifiable structure, then the representation will be recovered by BP and MP. In addition, we obtain that if the output of an arbitrary decomposition algorithm is supported on an identifiable structure, then one can be sure that the representation is optimal within the class of signals supported by the structure. As an application of the theoretical results, we give a detailed study of a family of multichannel dictionaries with a special structure (corresponding to the representation problem ) often used in, e.g., under-determined source sepa-ration problems or in multichannel signal processing. An identifiable structure for such dictionaries is defined using a generalization of Tropp’s Babel function which combines the coherence of the mixing matrix with that of the time-domain dictionary , and we obtain explicit structure conditions which ensure that both minimization and a multi-channel variant of Matching Pursuit can recover structured multichannel representations. The multichannel Matching Pursuit algorithm is described in detail and we conclude with a discussion of some implications of our results in terms of blind source separation based on sparse decompositions. Communicated by Yuesheng Xu  相似文献   

13.
Summary.   In this paper we establish a error estimation on the boundary for the solution of an exterior Neumann problem in . To solve this problem we consider an integral representation which depends from the solution of a boundary integral equation. We use a full piecewise linear discretisation which on one hand leads to a simple numerical algorithm but on the other hand the error analysis becomes more difficult due to the singularity of the integral kernel. We construct a particular approximation for the solution of the boundary integral equation, for the solution of the Neumann problem and its gradient on the boundary and estimate their error. Received May 11, 1998 / Revised version received July 7, 1999 / Published online August 24, 2000  相似文献   

14.
The AR-quiver and derived equivalence are two important subjects in the representation theory of finite dimensional algebras, and for them there are two important research tools-AR-sequences and D-split sequences. So in order to study the representations of triangular matrix algebra T2 (T ) = T0TT where T is a finite dimensional algebra over a field, it is important to determine its AR-sequences and D-split sequences. The aim of this paper is to construct the right(left) almost split morphisms, irreducible morphisms, almost split sequences and D-split sequences of T2 (T) through the corresponding morphisms and sequences of T. Some interesting results are obtained.  相似文献   

15.
We study the representation theory of the solution space of the one-dimensional Schrödinger equation with singular potential V λ (x) = λx ?2 as a representation of \(\widetilde{SL(2,\mathbb{R})}\). The subspace of solutions for which the action globalizes is constructed via nonstandard induction outside the semisimple category. By studying the subspace of K-finite vectors in this space, a distinguished family of potentials, parametrized by the triangular numbers is shown to generate a global representation of \(\widetilde{SL(2,\mathbb{R})}\) ? H 3, where H 3 is the three-dimensional Heisenberg group.  相似文献   

16.
作者在《数学学报》(2016, {\bf 59}(4))上的一篇文章中, 给出了几个$l^{0}$型赋$F$-范空间的共轭空间的表示定理. 对于赋范空间序列$\{X_{i}\}$,本文研究$l^{0}(\{X_{i}\})$型赋$F$- 范空间的共轭空间的表示问题,得到代数表示连等式$\left(l^{0}(\{X_{i}\})\right)^{*}\stackrel{A}{=}\left(c^{0}_{00}(\{X_{i}\})\right)^{*}\stackrel{A}{=}c_{00}(\{X^{*}_{i}\})$,$$\left(l^{0}(X)\right)^{*}\stackrel{\mathrm{A}}{=}\left(c^{0}(X)\right)^{*}\stackrel{\mathrm{A}}{=}\left(c_{0}^{0}(X)\right)^{*}\stackrel{\mathrm{A}}{=}\left(c^{0}_{00}(X)\right)^{*}\stackrel{\mathrm{A}}{=}c_{00}(X^{*}),$$以及序列弱星拓扑下的拓扑表示定理$\left(c^{0}_{00}(\{X^{*}_{i}\}),sw^{*}\right)=c^{0}_{00}(\{X^{*}_{i}\})$. 对于内积空间序列与通常拓扑下的数域空间序列,文章最后给出了基本表示定理的具体表现形式.  相似文献   

17.
Let k be an algebraically closed field of characteristic zero and L = sl(2,k) the Lie algebra of 2 × 2 traceless matrices over k. It is shown that there exists a von Neumann regular extension U(L) í U¢(L) U(L) \subseteq U'(L) of the universal enveloping algebra, which is an epimorphism in the category of rings. The article is devoted to the study of the simple representations of U'(L), which may be topologized via the Ziegler topology on the set of injective indecomposable representations of U'(L) or via the Jacobson topology on the set of primitive ideals. These two topologies coincide and the finite dimensional simple representations of L form a dense, discrete and open subset. The field of fractions K(L) of the universal enveloping algebra is another simple representation of U'(L). If the point K(L) is removed from the Ziegler spectrum of U'(L), one obtains a compact totally disconnected topological space, which has the cardinality of the continuum. It is also shown that the lattice of ideals of U'(L) is isomorphic to the lattice of open subsets. The epimorphic ring extension U(L) í U¢(L) U(L) \subseteq U'(L) is used to find an axiomatization of the finite dimensional representations of L in the language of left U(L)-modules. A representation V of L is called pseudo-finite dimensional if it satisfies these axioms. It is shown that a representation V of L is pseudo-finite dimensional if and only if for every central idempotent e ? U¢(L) e \in U'(L) for which eK(L) 1 0 eK(L) \neq 0 , whenever the subrepresentation eV is nonzero, then it has a nonzero highest weight space.  相似文献   

18.
19.
Category \(\mathcal{O}\) is a nice category of modules for a finite dimensional semisimple Lie algebra \(\mathfrak{g}\) It was first introduced by Bernstein–Gelfand–Gelfand in 1976. In the early 1980’s, Rocha–Caridi introduced parabolic category \(\mathcal{O}_S\), where S is a subset of simple roots. Category \(\mathcal{O}_S\) is a generalization of ordinary category O. These are highest weight categories that decompose into certain subcategories, called infinitesimal blocks. An infinitesimal block contains at most finitely many simple modules, and some contain only the zero module. The representation type of the infinitesimal blocks of category \(\mathcal{O}_S\) has been studied by Futorny–Nakano–Pollack, Brüstle–König–Mazorchuk, and Boe–Nakano. The representation type of the singular blocks of category \(\mathcal{O}_S\) is still generally unknown, though Boe–Nakano classified certain of these. Understanding when a singular block is zero is an important step to understanding the singular blocks in general. In this work, we will answer this question. It is given in terms of nilpotent orbits of \(\mathfrak{g}\).  相似文献   

20.
研究了特征为2的代数闭域上广义Witt代数$W(2,\mathbf{1})$的 投射不可分解模, 给出了特征标高度$ht\chi\leq 0$的所有投射不可分解模同构类的代表元和Cartan不变量. 并且进一步讨论了既约包络代数$u(W(2,\mathbf{1}),\chi)$ 的表示型.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号