dim在数学中什么意思