各位同学好~ 自上次小习研之後，有不只一位同学来跟我问「定义域的元素没有全被送去对应域是否 是well-defined？」，答案是「否！」。也就是说，定义域的所有元素都要被送过去才有 可能是well-defined的函数。 所以，跟上次的小习研内容整理一起来说: 只要有从定义域送到对应域的动作，无论是否一对多或是是否有定义域的元素没有被送 到，都称做对映(corresponding)(就如我讲的，只要有箭头就可以了) 而一个corresponding f:S1→S2，如果对每一个S1(定义域)的元素e，都存在且唯一的 f(e)在S2里，则f:S1→S2就称为一个函数(function)或映射(mapping) (i.e. for any e1, e2 in S1, if e1=e2 => f(e1)=f(e2), then f is called a function from S1 to S2.) well-defined的定义如下： If we only have a corresponding f of S1 to S2, then we say that f is well-defind (i.e. f is a function or mapping from S1 to S2) if it satisfies the following conditions: for each e in S1, f(e) in S2, and for any e1, e2 in S1, if e1=e2, then f(e1)=f(e2). 如果还是有问题，欢迎询问~ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.122.198.75