Let $X$ be a set and let $A \subseteq X$ be a subset of $X$. Asume that there is an injective function $f: X \rightarrow A$. Show that $A$ and $X$ have the same cardinality. Show that any two sets have the same cardinality $\iff$ there are injective functions $f: Y \rightarrow Z$ and $g: Z \rightarrow Y$.    Since $f: X \rightarrow A$ is injective, $\operatorname{card} X \leq \operatorname{card} A$. But since $A$ is a subset of $X$, we have the inclusion map $g: A \rightarrow X$, which is also injective. So $\operatorname{card} A \leq \operatorname{card} X \implies \operatorname{card} A= \operatorname{card} X$.   Similarly, we have $\operatorname{card} Y \leq \operatorname{card} Z$ and $\operatorname{card} Z \leq \operatorname{card} Y \implies \operatorname{card} Y = \operatorname{card} Z$.   I was just wondering if my answer was correct, because it is really short so I thought that I might be missing something...is it ok for me to assume that if we have an injective function $f: X \rightarrow Y$, then $\operatorname{card} X \leq \operatorname{card}$? Or is that what the question wants me to prove?   Thanks in advance
If we set $A$ and $B$. Assuming that there exist an injective map from $A$ to $B$ and an injective map from $B$ to $A$. How to prove that there is a bijection between $A$ and $B$.
The ideal $I= \langle x,y \rangle\subset k[x,y]$ is not a principal ideal.   I don't know how to consider it. Any suggestions? How do I install fonts? Question says it all. I need them to be available in gimp. When traveling to a country with a different currency, how should you take your money? Distribution of Dark Matter around galaxies It is well-known that measurements of the velocity profile in galaxies are not compatible with Newtonian laws. A way to circumvent the problem is to assume that galaxies are surrounded by a spherical halo of Dark Matter. The density of mass of this Dark Matter can then be computed from the velocity profile with Newton's laws.   My question is the following: the formation of a galaxy involves essentially only the gravitational interaction. According to Newton (and General Relativity too), the trajectory of a particle does not depend on its mass. As a consequence, I do not understand how usual matter and Dark Matter could have followed different trajectories leading to such different mass distributions nowadays. Can somebody explain this (apparent) paradox ? Let $x,y,z\ge 0$,and $x+y+z=2$, show that $$\sqrt{1-xy}+\sqrt{1-yz}+\sqrt{1-xz}\ge 2$$  Mt try: $$\Longleftrightarrow 3-(xy+yz+zx)+2\sum_\text{cyc}\sqrt{(1-xy)(1-yz)}\ge 4$$ or $$\sum_\text{cyc}\sqrt{(1-xy)(1-yz)}\ge\dfrac{1}{2}(1+xy+yz+zx)$$ Generating Random Passwords When a user on our site loses his password and heads off to the Lost Password page we need to give him a new temporary password. I don't really mind how random this is, or if it matches all the "needed" strong password rules, all I want to do is give them a password that they can change later.  The application is a Web application written in C#. so I was thinking of being mean and going for the easy route of using part of a Guid. i.e.  Guid.NewGuid().ToString("d").Substring(1,8)   Suggesstions? thoughts? Calculating determinant with different numbers on diagonal and x everywhere else I'm having troubles solving the following determinant:  $$\left|   \begin{array}{cccc}     a_1 &amp; x &amp; \ldots &amp; x \\    x &amp; a_2 &amp; \ldots &amp; \vdots \\     \vdots &amp; \ldots &amp; \ddots &amp; x \\     x &amp; \ldots &amp; x &amp; a_n \\   \end{array} \right|$$  I have tried coming up with recurrent formula, but there's always one lingering row and column. I also tried finding values of x for which determinant is 0, hoping I could get a nice polynomial solution, with no luck.  By subtracting first row from every other I get somewhat nicer result, but there's still that one row/column which I can't solve. If all other columns are added to the first one and then I subtract the first row, then the column doesn't depend on x anymore, but I haven't found 1..n much more useful. Is it possible to load some package from a .sty file only if some option is selected?  (Naive approach \DeclareOption{something}{\RequirePackage{something}} doesn't work.) Is there a bijection of the natural numbers which swaps $\frac{1}{n}$-summable subsets with $\frac{1}{\sqrt{n}}$-summable subsets? Let me start with a precise statement of the question.  For a subset $A\subseteq \mathbb{N}$ and a series of positive real numbers $\sum_{n=0}^\infty a_n$, I'll use the notation $\sum_A a_n$ as a shorthand for $\sum_{n\in A} a_n$.  Is there a bijection $f:\mathbb{N}\rightarrow \mathbb{N}$ with the property that for every $A\subseteq \mathbb{N}$, $\sum_A \frac{1}{n}$ converges iff $\sum_{f(A)} \frac{1}{\sqrt{n}}$ converges?  Background: Fix a series of positive terms $\sum_{n=0}^\infty a_n$.  Given a subset $A\subseteq \mathbb{N}$, call it $a_n$-small if $\sum_A a_n$ converges.  The following proposition is easy to prove:  Proposition:  The set $\{A\subseteq \mathbb{N}: A\text{ is } a_n\text{-small}\}\cup \{\mathbb{N}\}$ is a topology of closed sets on $\mathbb{N}$.  I will use the notation $(\mathbb{N},a_n)$ to refer to this topology.  Then one can ask how topological properties of $(\mathbb{N},a_n)$ are related to series properties of $\sum a_n$.  For example, I can show:  Proposition:  The following are equivalent.  $\sum a_n$ converges.  $(\mathbb{N},a_n)$ is discrete.  $(\mathbb{N},a_n)$ is disconnected.  $(\mathbb{N},a_n)$ is Hausdorff    And there are other nice things.  For example, $(\mathbb{N},a_n)$ is compact iff $(\mathbb{N},a_n)$ is cofinite iff $\liminf a_n &gt; 0$. With this language, my question can be reformulated as...  Are $\left(\mathbb{N}, \frac{1}{n}\right)$ and $\left(\mathbb{N}, \frac{1}{\sqrt{n}}\right)$ homeomorphic?  I have made very little progress on this.  Of course, the identity function $i:(\mathbb{N}, \frac{1}{\sqrt{n}})\rightarrow (\mathbb{N}, \frac{1}{n})$ is a continuous bijection, but the inverse map is not continuous.  Also, if there is such a bijection, there there is such a bijection with agrees with $i$ on any preassigned finite set. Edit  I thought I add in a slightly suprising (to me, at least) example when things work out to be homeomorphic. Begin with a convergent series $\sum c_n$. and divergent series $\sum a_n$ with $\lim a_n = 0$.  Create a new series $b_n$ using all the terms of $c_n$ and $a_n$ (in whatever order you wish).  Then $(\mathbb{N}, a_n)$ and $(\mathbb{N}, b_n)$ are homeomorphic.  The idea is that since $\lim a_n = 0$, there is a convergent infinite subseries $\sum_A a_n$.  Then we use a bijection which with $A$ and $A\cup \{\text{indices of }c_n\}$ to &quot;squeeze&quot; the $c_n$ in without changing the topology.  Of course, I am glossing over many details, but I can include them if desired. Input field added through javascript not in PHP $_POST variable. How to fix this? What do brokers do with bad stock? Where does Mac OS X come from? How does Windows 7 licensing work for running the OS as Virtual Machines? I plan on buying Windows 7 Ultimate Edition to run on an old Pentium 4. I also want to run Windows 7 virtual machines inside Windows 7. My question is two fold:   Do I need a license for each Virtual Machine? Does the answer change if I use a third party virtualization platform (e.g. , , , etc) as opposed to ? How do I run a program in the background of a shell, with the ability to close the shell while leaving the program running? Lets say my UI is having problems or for some reason, I need to boot up a program from the terminal window, say, nm-applet:  nm-applet   When it's started, it occupies the foreground of the terminal window.  Is there any simple way to run the program in the background without needing to leave the terminal open or have it occupy the whole terminal?  On that note, I did find a way to run programs from the terminal and have it allow for other inputs, by appending an ampersand (&amp;) to the command as such:  nm-applet &amp;   But this isn't much use as any processes started in the terminal are killed once the terminal is closed. I've got the new Canon Pixma MG 3150 and so far, I can't seem to find a driver anywhere. I do have the CD for both Windows and Mac, but this doesn't help me, as I have Ubuntu 11.10. I'd prefer to have it running on the wifi.  I'm really new to this, so I need for you to explain this to me as basically as possible. Reset Search Index in Exchange 2013 Consider the brief passage:     "I love your work, but calling you 'the artist' {1} just doesn't seem to be   cutting it anymore. What shall I call you?"      "OK. Call me George." {2}   So my instincts tell me to put {1} in single quotes as opposed to no punctuation (or perhaps even italics) but to do the opposite for {2}. Is this right? Why?  Let me expand this one further iteration:     "Wow, that's a great name, especially with this crowd. Maybe for your next book    you should call yourself Ringo."{3} Irfanview nearest equivalent for linux Using simple quotes "" instead of \text{} Is there a way to use newcommand or some other nice technique to transform any occurence of  "bla"   in math mode into  \text{bla}   The reason I ask is because it is easy, and doesn't interrupt the flow of reading the (La)TeX code as much.  I would like to keep Xe(La)TeX's nice quote behavior (ie it can use the regular "" instead of backticks to quote some text outside math mode). Creating "Inner Buffer" using ArcGIS for Desktop? I am currently searching for how to create an "Inner Buffer" in ArcGIS for Desktop?  I have a lot of polygons (houses) in one feature class, and one big polygon (in another feature class).   I want so select all houses contained in that one big polygon within a distance to the outer border (e.g. 1000 meters).  Select Layer By Location could be one possibility to solve this but I can't figure out how.