The dimension function of holomorphic spaces of a real submanifold of an almost complex manifold
Let be a real submanifold of an almost complex manifold and let be the maximal holomorphic subspace, for each . We prove that , is upper-semicontinuous.