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)

1
vote
2answers
62 views

Is it true that if $x_n$ converges and $y_n$ is bounded, then $x_ny_n$ converges?

Is it true that if $x_n$ converges and $y_n$ is bounded, then $x_ny_n$ converges? $x_n$ is said to be bounded if and only if it is bounded both above and below. I believe this to be false. My ...
0
votes
1answer
44 views

Sobolev embedding counterexample

I trying to find a counterexample to show that $$W^{1,p}(\mathbb{R ^n}) \nsubseteq C^{0,\alpha}(\mathbb{R^n}) $$ for $p>n$ and $\alpha > 1 -\frac{n}{p}$. No clue yet, thanks for your help.
0
votes
1answer
26 views

A function with only a partial derivative not Hölder-continuous

I'm looking for a function of two variables, say $u(t,x)$, such that for some $\alpha\in ]0,1]$ 1. $x\mapsto u(t,x)$ is $C^{2,\alpha}$; 2. $t\mapsto u(t,x)$ is $C^{1,\alpha}$; 3. $t\mapsto ...
1
vote
0answers
21 views

Examples of “finite character”

The property of being a linear ordering has finite character, i.e. a relation linearly orders a set if it linearly orders all of its finite subsets. This is a trivial corollary of the definition. ...
0
votes
2answers
37 views

Can analytic function be represented as a taylor series?

Let $D$ be open in $\mathbb{K}$. Let $f:D\rightarrow \mathbb{K}$ be an analytic function. Then, $f$ is infinitely differentiable and $\forall x_0\in D$, there exists a neighborhood $N$ of $x_0$ such ...
0
votes
1answer
61 views

Question on Taylor's theorem

Taylor's Theorem Let $\{c_n\}$ be a sequence of complex numbers. Let $R$ be the radius of convergence of $\sum c_n z^n$. Let $|b|<R$ and $f(x)=\sum c_n z^n$ on the disk $B(0,R)$. ...
10
votes
3answers
530 views

Does there exist a non-abelian group with roots?

I just learned the definition of a division group: An abelian group $G$ is called divisible if for every $x\in G$ and every $k\in\mathbb{Z}^+$, there exists $y\in G$ such that $y^k=x$ (or $ky=x$, ...
0
votes
2answers
36 views

A Tychonov space non-homogeneous wrt neiborhood bases cardinality

Is there a Tychonov space $(X,\mathcal T)$ with $a,b\in X$ such that $a$ has a countable neighborhood basis while $b$ does not have any countable neighborhood bases?
3
votes
2answers
58 views

If $f$ takes $[-1,1]$ onto $[-1,1]$ then $f^{-1}(\{f(0)\})=\{0\}$

Consider the statement: If $f$ takes $[-1,1]$ onto $[-1,1]$ then $f^{-1}(\{f(0)\})=\{0\}$. My book tells me this is suppose to be false, but I don't understand why. We know: If $f:X\to Y$ has ...
2
votes
1answer
88 views

Examples of reduced associative algebras

An associative $K$-algebra A is called reduced if $A/rad(A)$ has no nilpotent elements. It can be shown that this is equivalent to that $A/rad(A)$ is a isomorphic to a direct sum of division algebras. ...
-1
votes
1answer
23 views

closedness of a sublattice under complements

Let $A$ be a bounded sublattice of the bounded lattice $(X,\le)$ with $$\max A=\max X, ~~\min A=\min X$$ Let $a,b\in X$ be complements and $a\in A$. Is $b\in A$?
7
votes
1answer
204 views

Tensor product of injective ring homomorphisms

What is an example of two injective homomorphisms $R \to A$, $R \to B$ of commutative rings such that $R \to A \otimes_R B$ is not injective? Of course neither $R \to A$ nor $R \to B$ can be flat in ...
-1
votes
1answer
91 views

Two collections of subsets of a group and their equality [closed]

Let $G$ be a group and $H\le G$ and let $$\mathcal T=\{B\subseteq G \mid (\forall b\in B)(bH\subseteq B)\}$$ and $$\mathcal S=\{B\subseteq G \mid (\forall b\in B)(Hb\subseteq B)\}$$ Is $\mathcal T$ ...
2
votes
1answer
56 views

Are homeomorphic, Hausdorff topologies on a set equal?

Let $\mathcal T$ and $\mathcal S$ be two topologies on a set $X$ and $(X,\mathcal T)$ and $(X,\mathcal S)$ be homeomoric and compact and Hausdorff. Is $\mathcal S$ equal to $\mathcal T$? I know the ...
5
votes
1answer
109 views

What is an example of a function that is measurable but not strongly measurable?

Let $(\Omega, \Sigma)$ be a measurable space and $X$ a Banach space. Let $f: \Omega \rightarrow X$. $f$ is called measurable if every the preimage of every Borel set in $X$ is an element of ...
1
vote
1answer
26 views

Laplace transform convolution attempt

I can't seem to get this Laplace working using the convolution method. $H(s) = \frac{1}{s^2(s+2)}$ Which I can't get to work using convolution. So I am separating it into $\frac{1}{s^2} * ...
7
votes
1answer
131 views

Handwaving gone wrong

My motivation for this question is twofold: On one hand, I'm studying algebraic topology, where - at least in the book written by Hatcher - there is quite a lot of handwaving (e.g. maps are continous ...
1
vote
0answers
55 views

How to find intelligently counterexamples for (dis)proofs about matrices?

Let's say I'm asked to give a counterexample for a claim about matrices, such as The elementwise product of two positive semi-definite matrices is positive semi-definite. It's easy enough to do ...
3
votes
3answers
132 views

What are some examples of coolrings that cannot be expressed in the form $R[X]$?

Let $K$ denote a field. Then the polynomial ring $K[x]$ has the property that the sum of two units is either a unit, or zero. I'll bet there's heaps of other examples, though. So let a coolring be a ...
0
votes
2answers
49 views

Compact Set: Cover by Merely Neighborhoods

Disclaimer: This thread is just a record of thoughts and written in Q&A style. A subset is compact if every open cover admits a finite subcover. What if one replaces open covers with covers by ...
1
vote
1answer
302 views

How to convert a problem to a stars and bars problem?

Continued question from here. With certain questions I have $x_i$ being constrained by various different inequalities, I want to know how to remove these from the problem, to bring me back to a ...
-1
votes
1answer
88 views

Help finding a combinatorial proof of $k {n \choose k } = n {n - 1 \choose k -1}\;$

I am unsatisfied with the answers here. (Half of which used algebraic methods despite being advised not to!) Help finding a combinatorial proof of $k {n \choose k } = n {n - 1 \choose k -1}$ ...
3
votes
1answer
81 views

Examples of division algebras

Together with the Grunwald–Wang theorem, the Albert–Brauer–Hasse–Noether theorem implies that every central simple algebra over an algebraic number field is cyclic, i.e. can be obtained by an explicit ...
0
votes
2answers
44 views

Is the function $x \mapsto \max\{f(x),g(x)\}$ always an automorphism if $f$ and $g$ are?

Consider a totally ordered set $X$ and a pair of automorphisms (i.e., order-preserving bijections) $f,g$ of $X.$ Then the function $$h:x \in X \mapsto \max\{f(x),g(x)\} \in X$$ is an order-preserving ...
7
votes
1answer
96 views

A locally metrizable, Lindelöf Hausdorff space that is not metrizable

I am looking for an example of locally metrizable, Lindelöf Hausdorff space that is not metrizable. I've proved that if such space is regular, then it is metrizable. The proof relies on the ability ...
0
votes
3answers
960 views

How to use stars and bars(combinatorics)

How to use the stars and bars method? Say I want to find number of combinations I can get with $x_1+x_2+x_3+x_4=22$ Where $x_i\in\mathbb{N}$ Is this the correct time to apply the method?
0
votes
0answers
51 views

Examples of inner forms

Let $G$ and $G′$ be two linear algebraic groups over a field $F$. From what I understand, $G$ is called an inner form of $G′$ if $G$ and $G′$ are isomorphic over a the (or an?) algebraic closure of ...
1
vote
2answers
42 views

Connectedness and non-local-connectedness of a subspace of $\mathbb R^2$

Let $(X,\tau)$ be the subspace of $\mathbb R^2$ consisting of the points in the line segments joining $(0,1)$ to $(0,0)$ and to all the points $(1/n,0)$, $n=1,2,3,\ldots$. Show that $(X,\tau)$ ...
54
votes
4answers
3k views

Is it possible for a function to be in $L^p$ for only one $p$?

I'm wondering if it's possible for a function to be an $L^p$ space for only one value of $p \in [1,\infty)$ (on either a bounded domain or an unbounded domain). One can use interpolation to show that ...
2
votes
2answers
82 views

Metrizability of quotient spaces of metric spaces

Suppose $X$ a metric space and $\sim$ an equivalence relation on $X$. Is the space $X/\mathord{\sim}$ metrizable? I think that the answer is no, but I could not arrive at a counterexample.
8
votes
3answers
1k views

Examples of uncountable sets with zero Lebesgue measure

I would like examples of uncountable subsets of $\mathbb{R}$ that have zero Lebesgue measure and are not obtained by the Cantor set. Thanks.
3
votes
4answers
739 views

A set that it is uncountable, has measure zero, and is not compact

I want a example of a set that it is uncountable and has measure zero and not compact? Cantor set has these properties except not compactness.
0
votes
0answers
17 views

An example of $k$-independent distributions.

I'm trying to better understand the idea of $k$-independence in distributions. The idea is that a distribution $\mu$ over $\{0,1\}^n$ is $k$-independent if any restriction of $\mu$ to $k$ variables ...
5
votes
2answers
113 views

A Hausdorff space which is not completely regular

My example is, $f : \mathbb{R}^+ \to \mathbb{R}$ defined by: $$f(x) = \begin{cases} x, &\text{if }0 \leq x < 1 \\ \tfrac{1}{x}, &\text{if }x \geq 1. \end{cases}$$ Even though $f(0)=0$ but ...
1
vote
0answers
18 views

Inclusion of commutators on classical pseudodifferential operators

We denote by $Cl^\mu$ the class of classical pseudo-differential operators of order $\mu$. Consider the notation $$[Cl^{a},Cl^{b}]\hookrightarrow [Cl^{a'},Cl^{b'}]$$ which means that a commutator on ...
3
votes
2answers
294 views

Interesting Problems for NonMath Majors

Sometime in the upcoming future, I will be doing a presentation as a college alumni to a bunch of undergrads from an organization I was in college. I did a dual major in mathematics and computer ...
4
votes
2answers
90 views

A non-UFD such that $a^2 \mid b^2$ does not lead to $a\mid b$

Is there any non-UFD that is a commutative ring such that $a^2 \mid b^2$ does not always lead to $a\mid b$? It would be preferable if examples are something that does not involve ...
1
vote
1answer
36 views

Converse to Exactness of localization of modules

It is a standard fact that if $R$ is a ring, and $$\tag{1} 0\longrightarrow A\longrightarrow B\longrightarrow C\longrightarrow 0 $$ a short exact sequence of $R$-modules, if $S$ is a multiplicative ...
11
votes
2answers
2k views

The direct sum of two closed subspace is closed? (Hilbert space)

I know that if $X$ is a Banach space, then, the direct sum of two closed subspace $X_1$ and $X_2$ is not necessarily closed. But what if $X$ is Hilbert? I assume there is something to do with the ...
1
vote
1answer
38 views

Nowhere dense set - coarser vs. finer topology

Let $X$ be a set and let $\tau_1\subseteq\tau_2$ be topologies on $X$. Suppose that $A\subseteq X$ is nowhere dense in $\left(X, \tau_2\right)$. I was wondering if it follows that $A$ is nowhere dense ...
4
votes
1answer
63 views

Does $S^\bot+T^\bot = (S\cap T)^\bot$ hold in infinite-dimensional spaces?

If $S$ and $T$ are subspaces of some finite-dimensional inner product space then $$S^\bot+T^\bot = (S\cap T)^\bot.$$ See, for example, this post or this post Does it hold in infinite-dimensional ...
0
votes
1answer
63 views

Are there standard parameters for the Weierstrass nowhere differentiable function?

On Wikipedia, the Weierstass non-differentiable function is defined as: $$f(x)=\sum^{\infty}_{n=0}a^n\cos(b^n\pi x)$$ where $0<a<1$, $0<b$, and $ab>1+\frac 32 \pi$ Since it seems like, ...
0
votes
1answer
60 views

Need an example/counterexample of continuous and increasing function.

If $\mu$ is a finite measure on the measurable space $\big( X, \mathscr{F} \big)$, $f : X\to [ 0, +\infty)$ is measurable. Then $\textbf{does it exist a continuous function $g : [ 0, +\infty)\to [ ...
0
votes
2answers
54 views

Significance of low order terms in base expansion of integer square root

My head is turning into a uniform gel of random thoughts! I cannot see a proof or find a counterexample to the following: Conjecture: Let integer $x$ be expressed as $a_3 \, b^3 + a_2 \, b^2 + a_1 \, ...
13
votes
6answers
335 views

Function $f: \mathbb{R} \to \mathbb{R}$ that takes each value in $\mathbb{R}$ three times

Does there exist a function $f: \mathbb{R} \to \mathbb{R}$ that takes each value in $\mathbb{R}$ three times? If not, how could I prove that such a function does not exist?
1
vote
1answer
27 views

Diff. Eq. Example with Matrices

I'm currently working on a side project of mine that deals with $\sin(A)$ and $\cos(B)$, where $A,B\in\mathbb{C}^{nxn}$. I'm trying to find some interesting (or non-interesting) examples where one ...
4
votes
3answers
115 views

Is every such function convex or concave?

I was pondering convex functions today, and the following questions naturally posed themselves. Call a function $f : \mathbb{R} \rightarrow \mathbb{R}$ $2$-limited iff for all $m,c \in \mathbb{R},$ ...
1
vote
1answer
76 views

Counterexample: Convergence in finite dimensional distributions does not imply weak convergence

I'm working at the following exercise: Give an example of a sequence of stochastic processes $(\mathbb{X}^n)_{n\geq 1}$ such that the finite dimensional distributions converge to the finite ...
1
vote
1answer
52 views

Series converges but term by term integration not valid?

Give an example of a series $\sum g_n$ of Lebesgue integrable functions on $\mathbb{R}$ that converges but for which term by term integration is not valid. This is last minute exam revision so I do ...
9
votes
3answers
456 views

Examples of non-Riemann integrable functions that appear “in nature”?

I am teaching an honours calculus class, and am looking for examples on non-integrable functions that occur somewhere real in mathematics. (The standard example of 1 on $\mathbb{Q}$ and 0 elsewhere ...