Examples and counterexamples are great ways to learn about the intricacies of definitions in mathematics. Counterexamples are especially useful in topology and analysis where most things are fairly intuitive, but every now and then one may run into borderline cases where the naive intuition may ...

learn more… | top users | synonyms (2)

0
votes
1answer
124 views

Are the following topological spaces locally compact?

I am trying to determine whether the following spaces are locally compact: a) the slotted plane b) the radial plane For part a) I am almost certain that it is not compact, but not sure how to go ...
1
vote
1answer
60 views

Counterexample to conditional probability with dependent events

Let $X1,X2,X3$ be i.i.d. taking values in a finite set, and not constant. Is it necessarily true that $P(X3=X2|X2≠X1)≤P(X3=X2)$? Give a proof or a counterexample. Since the two events $A=\{X3=X2\}$ ...
2
votes
1answer
31 views

$K$ is an extension of $F$ and $a,b\in K-F$. If $ab$ is algebraic over $F$ then $b$ is algebraic over $F(a)$.

Let $F$ be a field and $K$ be an extension field of $F$. Proof\Counterexample: $K$ is an extension of $F$ and $a,b\in K-F$. If $ab$ is algebraic over $F$ then $b$ is algebraic over $F(a)$. I haven't ...
8
votes
4answers
349 views

Unconventional (but instructive) proofs of basic theorems of calculus

Inspired by this questions asked on MathOverflow, I would like to ask if you know some "sophisticated" proofs of the basic theorems in a calculus course (that is, the ones that you can find, for ...
2
votes
2answers
34 views

Non-unital commutative semigroups $S$ such that for all $x \in S$, the function $S \rightarrow S$ given by $y \mapsto x+y$ is a bijection?

Does there exist a commutative semigroup $S$ with the following (additively denoted) properties? For all $x \in S$, the function $S \rightarrow S$ given by $y \mapsto x+y$ is a bijection. $S$ has no ...
1
vote
1answer
34 views

Example of Two-point Remainder that are not homeomorphic

We that any two compactification $c_1 N$ and $c_2 N$ of the space $N=D(\aleph_0$) that have finite remainders of the same cardinality are homeomorphic, and yes can be incomparable with respect to the ...
1
vote
1answer
27 views

Example of an increasing non-nonnegative sequence violating conclusion of monotone convergence theorem in space of finite measure

With Lebesgue measure in $\mathbb{R}$, $f_n(x) \equiv -\frac{1}{n}$ is a good example which doesn't coincide with MCT. However, I couldn't find another example when the measure is finite. Could ...
1
vote
1answer
83 views

If $a$ is a complex number s.t. $a\notin \mathbb R$, then $\mathbb R(a)=\mathbb C$?

If $a$ is a complex number s.t. $a\notin \mathbb R$, then $\mathbb R(a)=\mathbb C$? I'm asked to give a proof or a counterexample. I'm a bit confused on the notation of $\mathbb R(a)$, what does this ...
2
votes
1answer
79 views

An example of finite, connected topological group

A finite Hausdorff topological group, has discrete topology and every discrete group is totally disconnected. I look for an example of a non-Abelian, finite, connected non-Hausdorff group . I think ...
0
votes
1answer
51 views

Cantor Intersection Theorem Without Closedness, counterexample

The Cantor Intersection Theorem is that Let $\{S_1,S_2,S_3,...\}$ be a countable collection of nonempty sets in $\mathbb R$ such that: $S_{k+1} \subset S_k$ for $k=1,2,3...$ Each $S_k$ ...
9
votes
2answers
133 views

Does there exist a function $f: \mathbb{R} \to \mathbb{R}$ that is differentiable only at $0$ and at $\frac{1}{n}$, $n \in \mathbb{N}$?

How to determine the existence of the function $f: \mathbb{R} \rightarrow \mathbb{R}$, which is differentiable only at $0$ and at $\frac{1}{n}$, $n \in \mathbb{N}$? It's more than enough to give an ...
1
vote
1answer
40 views

Metrizable compact spaces and Hausdorff spaces with a countable network

I have two questions related to metrizable spaces and countable network ; Can we find a continuous mapping from a separable metric space onto a non metrizable compact Hausdorff space. If a Hausdorff ...
5
votes
2answers
76 views

A category with arbitrary products, but not all limits, or finite limits not commuting with filtered colimits?

I'm interested in finding an example of a locally small category $\mathcal{C}$ having small filtered colimits and arbitrary small products but lacking, either all small limits, or either the ...
-3
votes
2answers
73 views

Why does differentiability implies continuity, but continuity does not implies differentiability?

Why does differentiability implies continuity, but continuity does not implies differentiability? I am more interested in the part about a continuous function not being differentiable. Well, all ...
0
votes
0answers
21 views

Iterated limits difficult example

Is there a fucntion $f:[-1,1]\subseteq \mathbb R^2 \to \mathbb R$ so that $$lim_{x\to 0}f(x,y)$$ exist $\forall y_0\in [-1,1]$ fixed and and $$lim_{y\to 0}f(x,y)$$ exist $\forall x_0\in [-1,1]$ ...
3
votes
2answers
28 views

Give an example of a function $f:D\subseteq \mathbb R^2 \to \mathbb R$ so that $lim_{x\to x_0}f(x,y)$ does not exist

Give an example of a function $f:D\subseteq \mathbb R^2 \to \mathbb R$ so that $$lim_{y\to y_0}f(x,y)$$ and $$lim_{x\to x_0}(lim_{y\rightarrow y_0}f(x,y))$$ exists but $lim_{x\to x_0}f(x,y)$ does not ...
1
vote
0answers
24 views

Flow-Invariance w.r.t. $A$ doesn't invariance w.r.t. $\exp (tA)$

This answered question of mine explains that by saying consider $$\dot x =Ax,$$ then the stable and unstable subspaces are invariant with respect $A$ and therefore also with respect to $\exp (tA)$ one ...
3
votes
3answers
148 views

Need example for a topological space that isn't connected, but is compact

We know the topological space $(R,τ_1)$ is a connected space but it is not compact, $(R,τ_+)$ (which generated by $[a,b[$) is not connected space and it is not compact space, and $(R,τ_{cf})$ is ...
3
votes
1answer
97 views

Motivation and examples for ramification

I started learning algebraic number theory, but it seems like all the sources I had are too abstract, giving me difficulty understanding the concept and tripping me up frequently. For today it is ...
19
votes
2answers
1k views

Is a differentiable function on $(-2, 4)$ always integrable on $[-2, 4]$?

So my question is, say I have a function that is differentiable on $(-2, 4)$. Is it always integrable on $[-2, 4]$? I know that if $f$ is diff on $(-2, 4)$, then it is continuous on $(-2, 4)$. And I ...
5
votes
3answers
147 views

Totally disconnected topologies on countable set.

Are there totally disconnected topologies $\tau$ on a countable set $X$ such that $(X,\tau)$ is not homeomorphic to one of the following? $\mathbb{N}$ with the discrete topology; one-point ...
3
votes
2answers
202 views

Are quotient groups unique up to isomorphism

By this post, it seems quotient groups are unique up to isomorphism. is it correct? More clearly Let $G$ be a group and let $K,N\unlhd G$ be isomorphic normal subgroups. Are $\frac{G}{N}$ and ...
0
votes
1answer
65 views

Martingale $X_n \to \infty$ a.s.

Construct a martingale $X_n$ such that $X_n \to \infty $ a.s. I have trouble coming up with such an example and prove it. Can someone provide an example?
2
votes
1answer
60 views

Counterexample for the infinitely many primes between two primes in a Noetherian ring

Consider the following Proposition: Proposition: Let $R$ be a noetherian ring. If $p_0 \subsetneq p_1 \subsetneq p_2$ is a chain of distinct prime ideals in $R$, then there exist infinitely many ...
0
votes
1answer
61 views

A set of real numbers whose limit points from a countable set

Construct a set of real numbers whose limit points from a countable set. Is the set you constructed closed? Is it compact? My example is $$G=\{1/n+1/m: n, m \in \mathbb N\}\cup \{0\}$$ and as ...
0
votes
1answer
67 views

Example of a Differential equation whose solution is not defined for all time $t$ [closed]

Give an example of a differential equation with its domain $R$ and an initial condition for this equation such the solution is not defined for all time $t$.
3
votes
1answer
44 views

Examples spectral sequence

I have to make a talk about spectral sequences, so I'd like to present some concrete examples of computation, after the general definition. I'd like to present three examples of spectral sequences: ...
1
vote
1answer
60 views

Caratheodory: Inner vs. Outer

Problem Given a plain space $\Omega$ and a ring $\mathcal{R}$. (In fact, a semiring would do the job, too.) Consider a premeasure $\mu:\mathcal{R}\to\overline{\mathbb{R}}_+$. For simplicity, ...
1
vote
2answers
55 views

Prove/Disprove: $v$ is an eigenvector of $T^n$ implies $v$ is an eigenvector of $T$

Prove/Disprove: $v$ is an eigenvector of $T^n$ implies $v$ is an eigenvector of $T$ I'm pretty sure it's not necessarily true, but can't think of a counter example. Can you help me think of ...
0
votes
1answer
60 views

Monoidal categories in which $\mathrm{Aut}(X \otimes Y) \cong \mathrm{Aut}(X) \sqcup \mathrm{Aut}(Y).$

I'm looking for examples of monoidal categories $\mathbf{C}$ such that one of the following two statements holds. For all objects $X$ and $Y$ of $\mathbf{C},$ $\mathrm{Aut}(X \otimes Y) \cong ...
2
votes
1answer
36 views

Example of topological space where there is a point and a subset $A $: $x \in \overline A $, but no sequence in $A $ converging to $x $?

It is known that if a space $X $ is metricable then for any subset $A $ of $X $ and a point $x \in \overline A $ there is a sequence of points in $A $ converging to $x $. I wonder if there is an ...
4
votes
0answers
25 views

Function in Lipschitz space

I'm looking for a function that is in $W^{1,1}(0,1)$ but only in the Lipschitz space $\mathrm{Lip} (\alpha, L_2(0,1))$ for $0<\alpha < 1$. $\mathrm{Lip}(\alpha, L_2(0,1))$ is defined as the set ...
2
votes
2answers
37 views

Dimension Field True/False.

I'm having trouble approaching how to determine truthfulness and falsehood of the following type of problems. $F$ and $K$ are fields. 1) Suppose that $F\subseteq K$ and $r\in K$. If $[F(r):F]=4$ ...
2
votes
1answer
73 views

Proof or counterexample: If $F\subseteq K$ and $r\in K$. If $[F(r):F]=4$ then $F(r)=F(r^3)$.

$F$ and $K$ are fields. Proof or counterexample: If $F\subseteq K$ and $r\in K$. If $[F(r):F]=4$ then $F(r)=F(r^3)$. I think I need to find a polynomial in $F(r^3)[x]$ that has $r$ as a root. I ...
0
votes
1answer
22 views

The set of differentiability of an extension from half-plane to the plane

This question is related to: Differentiability: Partially Defined Functions Consider a real-valued function $f:\mathbb{H}^2\to\mathbb{R}$. Are there some that admit no extension differentiable in ...
2
votes
2answers
59 views

Counterexample for “if every continuous function on $E$ is bounded, then $E$ is compact” [closed]

Give me counter example for this false statement: "Every continuous function on the set $E$ is bounded this implies $E$ is compact".
7
votes
1answer
69 views

If two elements a,b have a gcd, do then a*t,b*t also have a gcd?

Let $M$ be a commutative cancellative monoid. For elements $a,b \in M$ a gcd of $a,b$ is an element $\mathrm{gcd}(a,b)$ with the (universal) property $\forall c \in M (c |\mathrm{gcd}(a,b) ...
2
votes
0answers
41 views

Example of a series parallel graph with toughness greater than $\frac{4}{7}$

Can anyone lead me to an example of a "more than $\frac{4}{7}$ tough series parallel graph"? Graph toughness is defined as $T = \min \left\{\frac{|a|}{\omega{(G\backslash A)}}\right\}$ over all ...
0
votes
1answer
38 views

How do I prove that this map is a homeomorphism?

Let $X$ be a topological space. Let $\{X_i\}$ be a family of mutually disjoint open subsets of $X$ such that $\bigcup X_i = X$. Let $a_i$ be a point of $X_i$ for each $i$. Consider a quotient map ...
3
votes
1answer
109 views

Zero sets in Mrówka spaces

For a maximal almost disjoint family $\mathcal A$ of subsets of $\omega$ we choose a set $\{x_A:A\in\mathcal A\}$ of distinct points not in $\omega$ and define $\Psi (\mathcal A)=\omega\cup \{x_A:A\in ...
1
vote
1answer
29 views

What are some examples of these kinds of commutative semirings?

What are some examples of commutative semirings such that the following hold? Multiplication is idempotent i.e. we have $xx=x$ for all elements $x$. Addition is not idempotent i.e. there is at least ...
1
vote
2answers
55 views

Nonmeasurable Functions

Reference This question is related to: Banach Spaces: Uniform Integral vs. Riemann Integral Problem What are examples of real-valued functions: Bounded & Non-Step & Non-Measurable ...
3
votes
3answers
122 views

Example of Hausdorff and Second Countable Space that is Not Metrizable

Does there exist topological space that is Hausdorff and second countable but not metrizable?
5
votes
2answers
96 views

Example (?) of a Banach space containing an uncomplemented copy of itself

I was wondering the following: Background Question: Does there exist a Banach space $X$ which contains a copy $X_0 \subset X$ of itself that is not complemented? By "$X_0$ is a copy of $X$", I ...
1
vote
3answers
227 views

First Countable Spaces are Hausdorff or Not?

Does first countable imply Hausdorff? If not, what is an example of first countable space that is not Hausdorff?
-1
votes
0answers
27 views

Analytic function with inconsistent asymptotic behaviour on rays

Consider an function $f$, defined continuously on the closed upper half plane, and analytic on the upper half plane. Going along any ray from the origin that go strictly up (ie. not along the real ...
0
votes
1answer
31 views

Is this question wrong? Sequence of polynomial approximates $\sin$

Prove that there cannot be a sequence of polynomial $p_n$ converging uniformly to $\cos$ or $\sin$ on $\Bbb R$. Doesn't the Taylor series completely contradict this question?
0
votes
1answer
62 views

What do the operator semi-groups have to do with PDE's?

Can anybody please help me to understand what does the semi-group do with partial differential equations? We started this subject very recently and we are now in the proof of Hille-Yosida Theorem, ...
1
vote
0answers
23 views

Find ideal defining $Gr_2(\mathbb{C}^5)$ in Pluker embedding

Let $Gr_k(\mathbb{C}^n)$ the Grassmannian variety of $k$-planes in the complex space $\mathbb{C}^n$. We can consider the Pluker embedding $$ \mathcal{P}: Gr_k(\mathbb{C}^n) \to \mathbb{P}(\Lambda^k ...
12
votes
6answers
481 views

Just How Strong is Associativity?

A friend of mine is using a lot of algebra that is not associative for an advanced Chemistry project. We were discussing it recently and I found it rather amusing how often she said things like ...