Leonardo
Reputation
500
Top tag
Next privilege 1,000 Rep.
Create new tags
 Mar 12 asked How might one go about proving this poorly worded theorem about divisibility with the number 3? Mar 1 accepted Is this a correct proof for this relation? Feb 27 accepted Can we have a matrix whose elements are other matrices as well as other things similar to sets? Feb 26 revised Can we have a matrix whose elements are other matrices as well as other things similar to sets? added 310 characters in body Feb 26 asked Can we have a matrix whose elements are other matrices as well as other things similar to sets? Feb 26 revised Is this a correct proof for this relation? Edit, thanks Mohan Feb 26 comment Is this a correct proof for this relation? @Mohan Nice, I should add that and then I think it is a complete proof. So the part by contradiction is good enough for anti-symmetry? Feb 26 comment Is this a correct proof for this relation? @Mohan It seemed like my proof for transitivity and antisymmetry was so similar that I stuck them together. Can I separate them and say something like "similarly R is transitive?" Feb 26 comment Is this a correct proof for this relation? @dtldarek Thanks for the advice, it seems to be fairly clear now thanks to Stahl's edit. Feb 26 reviewed Approve Is this a correct proof for this relation? Feb 26 comment Is this a correct proof for this relation? @Jim I was actually just using that, and that is where I found \lightning but alas it did not work. Feb 26 comment Is this a correct proof for this relation? @Jim Thanks, I also cant find a good contradiction symbol. Feb 26 asked Is this a correct proof for this relation? Feb 26 accepted Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? Feb 26 comment Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? @ThomasAndrews Ah thanks, I don't know why I am having trouble thinking such a simple example! Probably just in the mind-set that $y = x$ is the law of the land for some reason. Feb 26 comment Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? @ThomasAndrews Wait, what elements? I need an example please. You are saying that there is a pair for $x, y \in \mathbb{Z}^+$ s.t. $x = y^2$ and $(x,y) \neq (1,1)$ ? Feb 26 comment Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? Ah I see where I have been mistaken now, it is for all $x,y \in X$ not $(x,y) \in R$, that was bad mistake! I understand it now. Feb 26 comment Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? @ThomasAndrews It is defined on the positive integers. We can use $x = 1$ and $y = 1$ if we want. Feb 26 comment Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? I think I see what you mean, because I was looking at it as 1 related to 1 as the only member in the relation. But you are looking at it from the perspective of the rule. Unfortunately in my opinion since 1 is the only number that I can think of besides 0 which equals its square, $x = y^2$ and $y = z^2$ does indeed imply that $x = z^2$ since 1 is still the only option for $x, y,$ and $z$. I can not think of a counter-example to transitivity or symmetry. Feb 26 asked Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric?