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
1answer
53 views

Example for finite dimensional analog of integral transforms

I understand that integral transforms are generalisations of the dot product of functions that could be interpreted as infinite dimensional vectors. The most significant advantage then is that ...
0
votes
1answer
33 views

An intersection inequality in groups

Do you have an example of a group $G$ and decreasing sequences $(A_n),~(B_n)$ of its subsets such that $$\big(\bigcap_{i\in \Bbb N}A_i \big)\big( \bigcap_{j\in \Bbb N}B_j\big)\ne \bigcap_{i\in \Bbb ...
0
votes
1answer
16 views

An intersection equation in semigroups

Do you have an example of a semigroup $S$ and a collection of its subsets $(A_i)_{i\in I}$ and $a\in S$ such that $$a\big(\bigcap_{i\in I}A_i\big)\ne\bigcap_{i\in I}aA_i$$ ?
0
votes
0answers
42 views

Example of a module over a non-abelian ring

Is there an example of a module over a non-commutative ring in which two maximal independet sets have distinct cardinality? Let $M$ be a module over a ring $R$. As usually a subset of ...
2
votes
1answer
50 views

Is the free group of rank 2 a subgroup of an infinite product of finite groups?

I want to find an example of a non-amenable infinite product on amenable groups. My idea is to show that the free group of rank 2 is a subgroup of an infinite product of finite groups. But I'm not ...
2
votes
1answer
43 views

Is convex set in an ordered set necessarily interval or ray? Munkres 16. 7

The is Problem 7 in Section 16 (page 92) of Munkres' Topology. The problem reads as follows. Let $X$ be an ordered set. If $Y$ is a proper subset of $X$ that is convex in $X$, does it follow ...
2
votes
1answer
51 views

Examples of non-finitely presented groups

I know several constructions leading to finitely generated non-finitely presented groups, using amalgamated products: Property: Let $A,B$ be two finitely presented groups. Then $A ...
1
vote
1answer
58 views

Does $\sum_{n=1}^\infty {{a_n}{\ln{a_n}}}$ converge?

If $\;\sum_{n=1}^\infty {a_n}\;$ converges, does the following also converge? $$\sum_{n=1}^\infty {a_n}{\ln{a_n}}$$ When I first saw this problem, it was easy. So I tried comparison test and ...
2
votes
3answers
96 views

A sequence of subgroups tending to the trivial subgroup

Do you have an example of an abelian group $G$ with a sequence of mutually distinct nontrivial subgroups $(A_n)$ such that $$\dots \le A_n\le\dots \le A_2\le A_1\le A_0=G$$ and ...
0
votes
0answers
15 views

smooth function whose (n+1)th derivative is defined only on a propersubset of the domain of the nth, and the radius contract to 0

So I'm basically wondering if there exists such a function, whose (n+1)th derivative is defined only on a proper subset of the domain where the nth derivative is defined, and with the property that ...
5
votes
2answers
60 views

Is every finite weak group a group

Definition: Let $W$ be a set and $\circ:W\times W\rightarrow W$ be a function. We say that $(W,\circ)$ is a a weak group iff there exists unique $e\in W$ such that $\forall x\in W[x\circ e=e\circ ...
3
votes
3answers
105 views

Non-separable compact space

Off the top of my head, I can't think of a non-separable compact space. Can you provide a good example?
-1
votes
1answer
26 views

Some Topological Properties of Starlike Sets!

A subset $E$ of $\mathbb R^n$ is starlike if it contains a point $p_0$ (called a center for $E$) such that for each $q\in E$, the segment between $p_0$ and $q$ lies in $E$. For more information please ...
3
votes
0answers
92 views

Is every compact space compactly generated?

I am using the definition of compactly generated space from The Category of CGWH Spaces, which is In $\mathcal{Top}$, $k$-closed subset $Y\subset X$, means $u^{-1}(Y)$ is closed in $C$ for any $u: ...
4
votes
1answer
84 views

Caught in the net

I'm reading through some notes one locally convex spaces ("lcs" from now on) analysis and there the following version of the Banach-Steinhaus theorem is given Theorem (Banach-Steinhaus) $\quad$ ...
1
vote
1answer
48 views

Some examples of local and nonlocal properties

Today I learned that continuity at a point is a local property. Concretely, if $f: \mathbb R \to \mathbb R$ is continuous on $[-K,K]$ for all $K \in \mathbb R$ then $f$ is continuous on $ \mathbb ...
1
vote
0answers
39 views

Examples of PIDs and prime ideals

(a) Give a specific example of a PID with exactly two prime ideals. Give a brief proof of your answer. (b) Give an specific example of a PID with infinitely many prime ideals. Give a brief proof of ...
1
vote
2answers
56 views

Example of Localization and Prime Ideals

For each $n\in \mathbb Z^+$, give an example of a localization of $\mathbb Z$ with exactly $n$ prime ideals. Justify your answer. Could an example have something to do with a UFD or Noetherian ...
1
vote
1answer
63 views

Proofs about continuity and convergence in topological spaces

I'm working on the following exercise: Let $f:(X,T)\to(Y,S)$ and $x\in X$. Prove that if $f$ is continuous at $x$ then if a sequence $\{x_n\}$ converge to $x$ we have $f(\{x_n\})\to f(x)$, show ...
4
votes
3answers
61 views

Examples of “eventually reaches y under iteration” other than the Collatz problem

The Collatz conjecture states that iteratively applying the map $$f(n) = \begin{cases} n/2 &\text{if } n \equiv 0 \pmod{2}\\ 3n+1 & \text{if } n\equiv 1 \pmod{2} .\end{cases}$$ to any ...
3
votes
2answers
72 views

A real continuous periodic function with two incommensurate periods is constant.

I think I have a proof for the statement, but I can't think of a counter-example when $f: \mathbb{R} \to \mathbb{R}$ is not continous. Here's the problem: Let $f: \mathbb{R} \to \mathbb{R}$ be a ...
1
vote
2answers
51 views

Is a bounded continuous function defined on $\Bbb R$ differentiable?

Is a bounded continuous function defined on $\Bbb R$ differentiable? Why so? The query is fueled by the following question: Let $f : \Bbb R \rightarrow \Bbb R$ be a bounded continuous function. ...
0
votes
1answer
38 views

Are there finite “similar” non-isomorphic groups

Let $G_1,G_2$ be two groups.We say that $G_1,G_2$ are similar iff for every integers $a_1,a_2,...,a_n\in \{1,-1\}$ and every function $f:\{1,...,n\}\rightarrow\{1,...,n\}$ we have the following: ...
0
votes
0answers
46 views

maximum modulus principle analytic function

I am trying to show that: Let $f$ be analytic on a given closed unit disc $D$ then prove that for every $k\in\mathbb N$ there is $w\in Bd(D)$ such that $|f(z)-w^{-k}|≥1.$ where z is in the unit disc ...
0
votes
1answer
90 views

Changes in the hypotheses of a mean-value theorem

For $X \subset \mathbb{R}^d$ open, we define $$ C^1(X) := \left \{ f : X \to \mathbb{C} : f \text{ is a function s.t. } \frac{\partial f}{\partial x_j} \text{ exists and is continuous for } j = 1, 2, ...
1
vote
2answers
71 views

Category In Which Not All Free Objects Exists

I am trying to think of a category in which not all free objects exists. I thought this might be the case in sets (I thought I might be able to violate the uniqueness ) but I couldn't get anywhere so ...
1
vote
0answers
68 views

Maximal monotone operator without convex domain?

I'm looking for an example of a (multi-valued) maximal monotone operator $A$ mapping a Banach space $X$ into its dual $X^*$ such that the domain $D(A)=\{x\in X: Ax\neq\emptyset\}$ is not convex. ...
2
votes
1answer
41 views

Non-isomorpic uncountable dense linear orderings (a textbook example)

We know that two countable dense open orderings are isomorphic, and we know that this is generally not true for uncountable structures. Now I quote from the textbook, that is "Model-Theoretic Logics": ...
4
votes
3answers
228 views

Does Gödel's Completeness Theorem still hold even if the set of variables is finite?

Let $L$ be a first order language with a finite set of variables. Let $T$ be a consistent set of formulas of $L$. Does it follow that there exists a model for $T$?
1
vote
0answers
27 views

WHat is an example of a countable subset of $[0,1]$ whose Jordan content is 1 and Lebesgue measure is 0?

E.Stein Real analysis p.41 Exhibit a countable subset $E\subset [0,1]$ such that $J(E)=1$ while $m*(E)=0$. Here, $m*$ denotes the outer Lebesgue measure and $J$ denotes the Jordan content. ...
6
votes
3answers
57 views

Counterexamples for Hölder's inequality when $p$ and $q$ are not conjugate.

Hölder's inequality shows that, when $$ \frac{1}{p} + \frac{1}{q} = 1,$$ and $f\in L^p$ and $g\in L^q$, then $$\Vert f\,g\Vert_1 \le \Vert f \Vert_p \Vert g \Vert_q.$$ Is there an example of this ...
0
votes
0answers
28 views

Distributive lattices (interpretation of distributivity)

Simple counter example Ok, there is a very simple counter-example ^^ : This lattice isn't distributive, because $M=x\wedge(a\vee b)=x>0=(x\wedge a)\vee(x\wedge b)=m$, but for all $n<N$ the ...
3
votes
2answers
221 views

Matrix multiplication question (diagonal matrices)

Suppose $AB = BA$ and $A^2+B^2 = I$, where A and B are complex matrices. My feeling is that this implies that both A and B are diagonal matrices. But I'm having trouble proving it. Appreciate any ...
2
votes
1answer
41 views

Smallest Graph that is Regular but not Vertex-Transitive?

I'm trying to find the smallest graph that is regular but not vertex-transitive, where by smallest I mean "least number of vertices", and if two graphs have the same number of vertices, then the ...
0
votes
1answer
22 views

Function differentiable at one point and nowhere else continuous.

Is it possible to construct such a function? Just wondering. Specifically, I am thinking of $f:\mathbb{R}\to\mathbb{R}$ such that $f'(0)$ exists and $f$ is discontinuous for all ...
1
vote
1answer
36 views

A characterization for subgroups.

Let $G$ be a group and $a_0,a_1,...,a_n\in G$ and $$A=\{a_0,a_1,...,a_n\}$$ and $$(\forall m\le n)(\forall i\le m)(a_{i}a_{m-i}\in A)$$ Is $A$ a subgroup of $G$? How if $G$ is abelian?
0
votes
1answer
22 views

Blowup of ODEs in the presence of local Lipschitzianity?

Pardon me if the question is trivial, but I am failing to decide it. Assume that we are given an ODE system $\dot{x} = f(x)$ with positive initial conditions $x(0)$ and know that $f$ is locally ...
1
vote
2answers
52 views

Give an example of a non-separable subspace of a separable space

I'm trying to find an example of a non-separable subspace of a separable space. What kind of examples are there?
3
votes
2answers
63 views

A topological space which is Frechet but not Strictly-Frechet.

Let $X$ be a topological space and $q \in X$. $X$ is strictly Frechet at $q$, if, for all $A_n \subset X, q \in \bigcap_{n \in \omega} \overline {A_n}$ implies the existence of a sequence $q_n \in ...
0
votes
1answer
66 views

What would be an example such that $aH=bH$ but $Ha \neq Hb$?

Let $H$ be a subgroup of a group $G$. Assume $aH=bH$ for some $a,b\in G$ What would be an example such that $Hb\neq Ha$? I cannot imagine what would be.. Moreover, if $H$ is infinite, ...
3
votes
0answers
65 views

Smash products of pointed spaces is really not associative

The canonical bijective map $\mathbb{N} \wedge (\mathbb{Q} \wedge \mathbb{Q}) \to (\mathbb{N} \wedge \mathbb{Q}) \wedge \mathbb{Q}$ is not an isomorphism of pointed spaces (i.e. homeomorphism), see ...
1
vote
1answer
57 views

Counterexample for Hartogs' Extension Theorem

I'll refer to Hartogs' Extension Theorem as it is stated in Wikipedia (https://en.wikipedia.org/wiki/Hartogs%27_extension_theorem#Formal_statement). I am trying to find a counterexample to show that ...
3
votes
3answers
100 views

Give an example of non-normal subspace of a normal space.

We know that a closed subspace of normal space is normal. My question was: why should other subspaces not work and then i came up with a counterexample. It is peculiar that any subspace of regular ...
3
votes
1answer
57 views

Function in $H^1$, but not continuous

By the Sobolev embedding theorem, if $\Omega$ is bounded, $H^s(\Omega)\subset C(\Omega)$ for $s>1$, in $\mathbb R^2$. Where I can find a counterexample (if one exists) for the case $s=1$? I mean a ...
0
votes
1answer
60 views

Example of a Riemann integrable function which is not a simple function

I'm looking for an example of a Riemann integrable function which isn't simple? I know that all simple functions $f: I \rightarrow E $ ( where $I \subset \mathbb{R}$ is an interval and $E$ is a ...
1
vote
1answer
86 views

Example of two finitely isomorphic structures (or $\omega$-isomorphic) that are not partially isomorphic?

One can define several maps between given structures in order to portray similarities or differences. The concept of isomorphism displays a deep structural overlapping, while for instance an ...
2
votes
4answers
60 views

I have a conjecture on local max/min , can any of you propose a contradiction?

If $f$ is a non-piecewise function defined continuous on an interval $I$, and within that interval $I$, there exists a value $x$, such that $f`(x)$ (derivative of $f$) does not exist , then at that ...
0
votes
1answer
24 views

Sperners lemma how to mark internal vertices

Was reading sperners lemma from this http://www.math.hmc.edu/funfacts/ffiles/20001.4.shtml Couldn't understand certain things How to mark internal vertices? I could have mark some other number for ...
0
votes
0answers
34 views

Non-subdifferentiable convex function

Is there any convex function $f$ on a norm space $X$ such that $\partial f(x)=\emptyset$ at every $x\in X$? Thanks in advance.
6
votes
2answers
139 views

Closed, orientable surface whose genus is very hard to find intuitively

I'm introducing the Classification Theorem on closed and orientable surfaces in a talk on (intuitive) topology, and to motivate it I'd like an example of an embedding of a surface in $\mathbb{R}^3$ ...