以实数集为个体城,用谓词公式将下列语句形式化
(1)如果两实数的平方和为零;那么这两个实数均为零,
(2)F(x)为一实函数当且仅当对每一实数元都有且只有一个实数y满足y=f(x)(不得使用量词为实函数:可译为
设为一个半群,且S中有元素a,使得对于任意S,均有S中的元素u,v满足
a*u=v*a=x
证明:为一个独异点.(考虑x=a时的u和v)
设R是集合A上的一个等价关系,|A1,A2,...,Ak|为A的子集族,且对任意x,y∈A满足
可否断定{A1,A2,...,Ak}为A的一个划分?若可以,请证明它确为A的划分;若不可以,请补适当条件,以使上述断言成立.
题13-5图(a)所示双向拉伸应力状态,应力σx=σy=σ,试证明任意斜截面上正应力均等于σ,而切应力则为零。