分形空间中的有限元法与逼近化