若Ｔ是Ｒ的ｓ维良好定义的子集，ｆ：Ｒ→Ｒ＾ｎ，ｆ（ｔ）＝（ｔ，ｔ＾２，…，ｔ＾ｎ），则Ｔ在ｆ下的象的维数迹为Ｐ（ｆ（Ｔ））＝Ｒ（１／Ｓ，２／Ｓ，…，ｎ／ｓ）。......