在量子力学中,一个量子系统与一个可分的复的Hilbert空间H相联系,而系统的量子态可表示为H上迹为1的正算子,其全体记为s(H).量子信息理论需要处理多体复合量子系统.多体复合量子系统相应的Hilbert空间H是其子系统相应Hilbert空间HI的张量积,即H=H1(?)H2(?)…(?)Hn.在n=2的情形,系统称为两体系统.对于两体系统的量子态p∈S(H1(?)H2),如果它可以表示为乘积态的凸组合的极限,则称态ρ是可分态,否则,则称为纠缠态.对于多体量子态则可定义全可分性,k-可分性等.在复合系统中考察一个态是否可分或纠缠是量子信息理论十分重要但又困难的任务.对于两体量子系统,目前已有许多文献给出了各种各样的判据.然而对于多体系统,已知的判据却很少.本论文的目的就是建立检测多体系统中量子态纠缠性的一些判据.本文探讨了无限维多体复合量子系统量子态的全可分与部分可分问题,建立了广义部分转置判据,LPP初等算子判据,纠缠witness判据等全可分判据.另外,对于部分可分问题,给出了多体量子态在同步划分情况下根据LPP初等算子构造纠缠Witness的方法,建立部分可分的纠缠witness判据.主要结果如下：1.分别给出了无限维两体及多体复合系统中两体及多体态全可分的一个必要条件,即广义部分转置(简称为GPT)判据.我们证明了：如果一个n-体(两体)无限维量子系统的态p∈S(H1(?)H2(?)…(?)Hn)(s(H1(?)H2))是全可分(可分)的,那么‖ρτy‖Tr≤1,其中τy表示在任意选择的子系统上作广义行或列转置；特别,当ρ是纯态时等号成立.这一判据推广了著名的两体或多体PPT判据及两体或多体重排判据.我们还给出无限维多体量子态纠缠度的一个刻画,即负性纠缠度.并给出应用多体重排判据识别三体态的纠缠性的例子,也给出了某些两体态不能用两体重排判据识别的例子.2.建立LPP初等算子判据,从而得到无限维多体复合系统中多体态全可分的一个充要条件判据.LPP映射是一类保持可分纯态的正性的线性映射.LPP初等算子判据断言：一个n+1体态p∈S(H1(?)H2(?)…(?)Hn(?)K)全可分的充要条件是对所有从B(H1(?)H2(?)…(?)Hn)到B(K)的有限秩LPP初等算子A。有(Λ(?)Id)ρ≥0.另外,本文还给出了LPP初等算子的刻画以及通过正初等算子及不可扩张积基构造LPP初等算子的方法.最后,给出一个新的三体态的例子来说明如何应用LPP初等算子判据识别三体态的纠缠性,并与多体重排判据进行了比较.3.分别获得多体态强二可分,强k-可分的及全可分的纠缠witness充要判据.此判据只用由有限秩正初等算子及LPP初等算子与某些有限秩纠缠态构造的有限秩纠缠witness就可检测给定态的相应纠缠性.我们还提供两种分别用LPP初等算子以及用几何方法构造多体纠缠witness的途径,最后用几何方法构造三体纠缠witness用于检测新的纠缠态.