Leonardo
Reputation
490
Top tag
Next privilege 500 Rep.
Access review queues
 Feb26 revised Can we have a matrix whose elements are other matrices as well as other things similar to sets? added 310 characters in body Feb26 asked Can we have a matrix whose elements are other matrices as well as other things similar to sets? Feb26 revised Is this a correct proof for this relation? Edit, thanks Mohan Feb26 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? Feb26 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?" Feb26 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. Feb26 reviewed Approve Is this a correct proof for this relation? Feb26 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. Feb26 comment Is this a correct proof for this relation? @Jim Thanks, I also cant find a good contradiction symbol. Feb26 asked Is this a correct proof for this relation? Feb26 accepted Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? Feb26 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. Feb26 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)$ ? Feb26 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. Feb26 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. Feb26 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. Feb26 asked Is the relation on the positive integers defined by $(x,y) \in R$ if $x = y^2$ only antisymmetric? Feb23 comment Does there exist any elements which I can add to a Relation such that the Relation remains Sym/Anti, Trans, and Reflexive? Right now I am introducing "rules" that define the relation, along with the ability to randomly generate a relation with specified attributes. Feb23 accepted Does there exist any elements which I can add to a Relation such that the Relation remains Sym/Anti, Trans, and Reflexive? Feb22 comment Does there exist any elements which I can add to a Relation such that the Relation remains Sym/Anti, Trans, and Reflexive? @alancalvitti I understand, so if I added an element $(1,5)$ to the relation would it no longer be a relation, of X?