什么叫沃尔什函数？它有何性质？