Intereting Posts

Left topological zero-divisors in Banach algebras.
How to solve equations with logarithms, like this: $ ax + b\log(x) + c=0$
Intuition behind topological spaces
Math Major: How to read textbooks in better style or method ? And how to select best books?
find the point which has shortest sum of distance from all points?
Can Master Theorem be applied on any of these?
Evaluate $\sum\limits_{n=1}^{\infty} \frac{2^n}{1+2^{2^n}}$
How to prove that triangle inscribed in another triangle (were both have one shared side) have lower perimeter?
If $(X,d)$ is a metric space then I want to show that limit point compactness and sequential compactness are equivalent.
Determine order of a Sylow p-subgroup
Every endomorphims is a linear combination of how many idempotents in infinite dimensions?
Does first isomorphism theorem hold in the category of normed linear spaces?
Is each edge interpreted like a $2$-cycle?
Is every $F_{\sigma\delta}$-set a set of points of convergence of a sequence of continuous functions?
Help with I.V.P

This will be a short question. Let $x$, $y$, $z$ be three elements from any set. Is the following:

$$x \ne y \ne z \tag{1}$$

Equivalent to:

- Is $x^{-0}$ defined?
- How can set-builder notation be used to create a set from a function?
- What is the meaning of the expression $\liminf f_n$?
- How deal with Gothic letters, like $\mathfrak{ A,B,C,D,a,b,c,d}\dots$, when writing by hand?
- Prove that T is a linear transformation
- What's the correct notation for log squared?

$$x \ne y, ~ ~ y \ne z, ~ ~ z \ne x \tag{2}$$

Or simply:

$$x \ne y, ~ ~ y \ne z \tag{3}$$

Is it even well-defined? I know what $x = y = z$ implies but what about negation? I know I could use $x \ne y \ne z \ne x$ to “make sure” but I was interested in knowing what $(1)$ really means.

- What's the difference between “$\to$” (implication) and “$\vdash$” (therefore)?
- What does P in blackboard bold type of letter stand for? ℙ?
- Dividing by 2 numbers at once, what is the answer?
- Notation: is there a symbol for “not a function of”?
- What does | mean?
- What does a binomial coefficient with commas mean?
- Symbols for Quantifiers Other Than $\forall$ and $\exists$
- The big $O$ versus little $o$ notation.
- What is the meaning of the double turnstile symbol ($\models$)?
- Is there a difference between writing $f: X\rightarrow Y$ and writing $f:X\mapsto Y$?

This is more of a personal convention than an actual answer regarding what it commonly means (although I’m pretty sure my convention is other people’s too).

Given a **binary** relation $\triangle$ on some set $X$ and $x_1,\ldots, x_n\in X$ for some $n\in \Bbb N$, I define $$x_1\triangle x_2\triangle \cdots\triangle x_n$$ as $$(x_1\triangle x_2)\wedge\cdots \wedge (x_{n-1}\triangle x_n)$$

Under this convention, $x\neq y\neq z$ should be read $x\neq y\, \wedge y\neq z$.

Note that $x=y=z$ is equivalent to $x=y\wedge y=z \wedge x=z$ only because the equality is transitive.

the first two are not the same

take $x,y,z$ to be 1,2,1 respectively.

The first and third are equivalent.

If $x\neq y\neq z$ is used to mean (2), it is bad notation. it would be better just to say ‘x,y,z distinct’ to mean (2)

We do write often e.g. $x \in y \in z$ as a familiar and acceptable shorthand for $x \in y \land y \in z$. That’s evidence that we do allow this kind of notational collapse for conjoined relational propositions even when the relation isn’t transitive. (We don’t read $x \in y \in z$ as implying $x \in z$.)

Can we similarly write $x \ne y \ne z$ as shorthand for $x \ne y \land y \ne z$, again with no implication that $x \ne z$? You might predict, by parity, that we would: yet I certainly don’t think this is common practice. Why not? What makes the difference? Dunno!

I think I have, however, seen the likes of $x \ne y \ne z \ne w $ used as local shorthand for the corresponding symmetric $x \ne y \land x \ne z \land x \ne w \land y \ne z \land y \ne w \land z \ne w$. But I wouldn’t adopt such a shorthand without saying what you are doing!

- Subspace generated by permutations of a vector in a vector space
- A series that can be rearranged to converge to any number converges conditionally
- Use the division algorithm to prove that 3|(n³ + 2n) for all n ∈ ℕ
- What exactly is a Kähler Manifold?
- Prove that $\sum\limits_{k=1}^{n-1}\tan^{2}\frac{k \pi}{2n} = \frac{(n-1)(2n-1)}{3}$
- How prove this inequality: $\sum_{i,j=1}^{n}|x_{i}+x_{j}|\ge n\sum_{i=1}^{n}|x_{i}|$?
- Describe the image of the set $\{z=x+iy:x>0,y>0\}$ under the mapping $w=\frac{z-i}{z+i}$
- How to calculate $i^i$
- Probability of Drawing a Card from a Deck
- Fermat-quotient of “order” 3: I found $68^{112} \equiv 1 \pmod {113^3}$ – are there bigger examples known?
- How to solve cubic equations with given coefficients?
- Example of a model in set theory where the axiom of extensionality does not hold?
- Can we get the line graph of the $3D$ cube as a Cayley graph?
- Prove $\ker {T^k} \cap {\mathop{\rm Im}\nolimits} {T^k} = \{ 0\}$
- Is is possible to obtain exactly 16 black cells?