简介:LetM1,M2besubmodulesofanalyticHilbertmoduleXonΩ(Cn)suchthatM1M2anddimM1/M2=k<∞.IfM2isanAF-cosubmodule,thenthecodimensiondimM1/M2ofM2inM1equalsthecardinalityofzerosofM2relatedtoM1bycountingmultiplicities.Thecodimensionformulahassomeinterestingapplications.Inparticular,theauthorcalculatesoutthedimensionofRudinquotientmodule,whichisraisedin[14].