Could anyone suggest a book which would be the equivalent of "Counterexamples in Analysis" for set theory? That is to say, I am looking for a book which would elaborate on the important examples and misconceptions in set theory. Per say, an example of poset which is lattice and but not complete, etc.
I had the following two problems:     Find a counterexample for $f_*(A \cap B) \supseteq f_*(A) \cap f_*(B)$ and $ f_*(A-B) \subseteq f_*(A) -f_*(B).$ Where $f_*(X)$ is the image of $X$ under $f$ for some function $f:A \rightarrow B $ and some subset $X \subseteq A$.   I came with the following answer:  Let $ f: \mathbb{Z} \rightarrow \mathbb{Z} $, where $f: x\mapsto 0$; let $A=\{1,2\}$, and $B=\{3,4\}$.     For $f_*(A \cap B) \supseteq f_*(A) \cap f_*(B)$, $$ f_*(A \cap B) = f_*\{ \varnothing\} = \varnothing \hspace{1cm} \text{and} \hspace{1cm} f_*(A) \cap f_*(B)=\{0\} \cap \{0\} = \{0\}. $$ It follows that $ \varnothing \nsupseteq \{0\} $. For $ f_*(A-B) \subseteq f_*(A) -f_*(B)$, $$f_*(A-B)=f_*(\{1,2\})=\{0\} \hspace{1cm} \text{and} \hspace{1cm} f_*(A) - f_*(B) = \{0\} - \{0\} = \varnothing$$ It follows that $ \{0\}  \nsubseteq \varnothing $.   Now (assuming my answer is correct), let's say I want to find more counterexamples or maybe a more general answer (e.g. all the conditions under which the inclusion fails). Other than by trial and error or just intuition, how would I do that?   I know this is a broad question, so I'm specifically asking for methods or advice on how to build counterexamples in elementary set theory (for example, tips on where to begin or rules that apply in general that may be unobvious).
How to append multiple lines of text to a file? What is the number of invertible $n\times n$ matrices in $\operatorname{GL}_n(F)$? I'm trying to create globally-unique identifiers in JavaScript.  I'm not sure what routines are available on all browsers, how &quot;random&quot; and seeded the built-in random number generator is, etc. The GUID / UUID should be at least 32 characters and should stay in the ASCII range to avoid trouble when passing them around. This is by far the weirdest problem I've come across,  My mac can perfectly access internet through safari web browser, but when I tried to do   ping www.google.com   through the terminal, it's requests is being timed out.  None of the other apps are able to reach internet either. Dropbox, Skype, Spotify all showing offline, except the browser itself  I'm guessing something bad with the DNS, but spend 2 hours trying to fix this with no luck How to enable root login again after changing password? I had enabled root login before and tried to change its password using this . But after successfully changing the password and locking it via sudo passwd -dl root. I cannot login back to SSH, it says Access is denied.  I have two users on my machine. root and admin, admin does not have su permission. When I try to use sudo on admin user, it says that admin is not in the sudoers file. That is why i need my su user back. Latest earned tag badge doesn't update when I earn a new one When you earn one tag badge, and then don't click "Track the next one" in the tag badge progress tracking box for a while, and then earn a second tag badge, that box continues to show "Congratulations, you earned [the same badge as before]", rather than updating to show that you've actually earned another tag badge since then.  For instance, right now  looks like this:    Even though I  a few weeks ago and then  yesterday, my profile hasn't updated to show the new achievement.  I also didn't get the "cipher" tag badge until after the 3am watershed, even though tag badges usually appear as soon as I visit my profile after earning them (for instance, I earned the "tags" tag badge on meta.SFF.SE today the very instant I clicked on my own profile there after having become eligible for the badge). Even when I went to look at the list of my progress towards different tag badges on Puzzling, which I thought would jog the system into realising I'd actually earned the badge, "cipher" still showed up as 99/100 score even after I'd gone well past 100, until last night when the badge was finally awarded and "cipher" disappeared from my list of badges to track.  TL;DR: if I don't click "Track the next one", my tag badges update slower than they should.  It's a very unimportant bug, but there must be more people than just me who like to see the "Congratulations" thing there for a while and rest on their laurels before moving on to track their progress towards the next milestone. Wavy stream of liquid Prove that $u\cdot v = \frac{1}{4}||u+v||^2 - \frac{1}{4}||u-v||^2 \forall u,v \in \mathbb{R^n}$ I am trying to prove the above statement but I'm not sure if my proof is correct. My proof is as follows,  Given $u\cdot v$, we know by the C-E Inequality that $|u \cdot v| \leq ||u|| \ ||v||$  Consider $\frac{1}{4}||u+v||^2 - \frac{1}{4}||u-v||^2$  We can manipulate this as follows $$\frac{1}{4}(||u+v||^2 - ||u-v||^2) = \frac{1}{4}(||u+v||- ||u-v||)(||u+v||+||u-v||)$$ Using the triangle inequality the above can be written as follows, $$...\leq \frac{1}{4}(||u|| +||v|| -||u||+||v||) (||u|| +||v|| +||u||-||v||) = \frac{1}{4} (4||u||||v||) = ||u||||v||$$  As such both $u\cdot v$ and $u\cdot v = \frac{1}{4}||u+v||^2 - \frac{1}{4}||u-v||^2 \forall u,v \in \mathbb{R^n}$ are $\leq ||u|| ||v||$  I'm not sure whether I've proven this correctly because I ended up proving that both sides of the equation are less than or equal to something entirely different (the magnitude of v multiplied by the magnitude of u). Is this acceptable? I don't think it is, since if both can be less than or equal to the magnitudes multiplied then they do not necessarily have to be equal to each other. If this is the case, can someone give me a hint on how to move forward with this proof? How to run scripts every 5 seconds? If $u$ is harmonic and bounded in $0 < |z| < \rho$, show that the origin is a removable singularity This is a reworking of a previous question  which was marked as a duplicate. Some nice folks have referred me to solutions to similar problems. I still have a couple of questions, since one of the solutions used the Poisson kernel, which is not the desired solution in the text, because the Poisson kernel has not been introduced yet. The other solutions were for problems that were similar, but whose solutions were only partially applicable, as I understand them.  I'm working on a problem from p. 166 of Lars Ahlfors' Complex Analysis:     If $u$ is harmonic and bounded in $0 &lt; |z| &lt; \rho$, show that the origin is a removable singularity in the sense that $u$ becomes harmonic in $|z|&lt;\rho$ when $u(0)$ is properly defined.   My Solution So Far:   Here's what I've got for a non-Poisson kernel solution: We want to find a harmonic conjugate for $u$ in the punctured disk, and then we can apply big Picard to show that $0$ is a removable singularity. The problem is that the punctured disc is not simply connected.   If we take $\sigma = (u \circ \exp)(z): L \to \mathbb{C}$, where $L$ is the left half-plane, now we have $\sigma$ harmonic, and defined in a simply connected set $L$, so it has a harmonic conjugate $\tau$. Now we wish to take $v = (\tau \circ \log):\{0 &lt; |z| &lt; \rho\}\to \mathbb{C}$, but in order to do so we need $\tau$ to be $2\pi i$-periodic. This is where my proof breaks down.  One of the similar problems which readers referred me to used the following strategy: note that since $\sigma$ is $2\pi i$-periodic, and $\sigma, \tau$ satisfy the Cauchy-Riemann equations, we have that $\nabla\tau(z) = \nabla\tau(z + 2 \pi i)$ for all $z\in L$, or in other words, $\tau(z) - \tau(z+2\pi i)$ is a constant function, say, equal to $\alpha \in \mathbb{R}$. Then, the solution suggests, we can set $$g(z) = u + iv - \frac{c}{2\pi}z,$$  in order to make $g$ $2\pi i$-periodic, and then we can use $(g\circ \log)$ on $\{0 &lt; |z| &lt; \rho\}$. But the reason why this won't work for my purposes is: now we have changed $u$! On the other hand, we can't simply subtract $\frac{c}{2\pi}\Im{(z)}$, and try to leave $u$ untouched, because now $g$ is not analytic. How can we get around this?  Another strategy entirely might be to try to use the mean-value property. Ahlfors discusses that a lot in the preceding section, and his main example is the punctured disc. Since $u$ is harmonic, we know that the average over circles centered at zero is a constant... The classical book on commutative algebra Introduction to Commutative Algebra, by Atiyah and Macdonald, has the following as exercise I.11.       A ring is Boolean if $x^2=x$ for any $x$ of $A$. In a Boolean ring $A$, show that     i) $2x=0$ for all $x\in A$;    ii) Every prime ideal of $A$ is maximal, and its residue field consists of two elements;   iii) Every finitely generated ideal of $A$ is principal.     I can but solve the first two of them; for the last one, I cannot even perceive the situation here, for it will not, generally speaking, be a Dedekind domain, whereof my knowledge is somewhat more. I have hitherto tried to find one element for each ideal of two generators which can stand the stead of them, and then proceed by induction. But even the first step fails to produce any result. Thanks for any hints and inspirations in advance. I want to design a member login site in WP but I have a doubt that is WordPress can handle more than 40000 users on same database?  I am not sure about this so I am stooping my work here. So please help me if anyone know exactly about this to proceed my project with WP. How does water evaporate if it doesn't boil? When the sun is out after a rain, I can see what appears to be steam rising off a wooden bridge nearby. I'm pretty sure this is water turning into a gas.  However, I thought water had to reach 100 degrees C to be able to turn into a gas.  Is there an edge case, for small amounts of water perhaps, that allows it to evaporate? Is there a way to get the count of rows in all tables in a MySQL database without running a SELECT count() on each table? Shrinkage parameter in Adaboost? I'm unclear how the shrinkage parameter works in Adaboost.  I understand the concept of shrinkage in the theoretical sense related to ordinary least squares, but I'm not sure how to interpret this parameter in relation to Adaboost. The following happened playing Minesweeper:   How do I figure out which square to click? Solution of trigonometric equation $0 = x\cos(x)+2$ Error: invalid environment block. Press any key to continue...   The error message appears immediately after the boot screen on purple background. Ubuntu 12.04.1 LTS. How can I add custom '.desktop' application launchers to Ubuntu Dock? Which other nations are there in Attack on Titan world aside Eldia and Marley? In the Attack on Titan wikia they often mention other nations aside Eldia and Marley which supposedly have more advanced technology than this 2 nations. Which other known nations are there in Attack on Titan world aside Eldia and Marley and why are they more advanced than Marley when only Eldia is supposed to be isolated from the world?