Compact Definition and 308 Threads

  1. F

    Any compact subset is a contained in finite set + a convex set?

    Homework Statement So I am trying to understand this proof and at one point they state that an arbitrary compact subset of a Banach space, or a completely metrizable space is the subset of a finite set and an arbitrary convex neighborhood of 0. I've been looking around and can't find anything...
  2. F

    Does the compact subset of an infinite Banach have finite span?

    Homework Statement Hi all, I am struggling with getting an intuitive understanding of linear normed spaces, particularly of the infinite variety. In turn, I then am having trouble with compactness. To try and get specific I have two questions. Question 1 In a linear normed vector space, is...
  3. F

    Can a compact function spaces no contain an accumulation point?

    Homework Statement So I had a homework problem which was to show that a certain function space was compact via Ascoli-Arzela Theorem. I was okay with doing this, accept, it appears the corresponding uniformly convergent sequence I found in any infinite set need not converge to something in the...
  4. M

    Difference between fluorescent strip and compact fluorescent lamp

    I just want to know the difference between fluorescent strip and compact fluorescent lamp... Thanks.
  5. S

    Graduate Locally Compact Hausdorff Space is Regular

    So, I'm working a bit through munkres and I came across this problem Show that every locally compact Hausdorff space is regular. So, I think I've solved it, but there is something confusing me. I initially said that if X is locally compact Hausdorff, it has a 1-point compactification, Y...
  6. P

    MHB Families of holomorphic functions and uniform convergence on compact sets

    Consider the sequence $\{f_n\}$ of complex valued functions, where $f_n=tan(nz)$, $n=1,2,3\ldots$ and $z$ is in the upper half plane $Im(z)>0$. I want to show two facts about this sequence: 1) it's uniformly locally bounded: for every $z_0=x_0+iy_0$ in the upper half plane, ther exist...
  7. S

    Graduate Eigenvalues of a compact positive definite operator

    eigenvalues of a compact positive definite operator! Let A be a compact positive definite operator on Hilbert space H. Let ψ1,...ψn be an orthonormal set in H. How to show that <Aψ1,ψ1>+...+<Aψn,ψn> ≤ λ1(A)+...+λn(A), where λ1≥λ2≥λ3≥... be the eigenvalues of A in decreasing order. Can...
  8. P

    Graduate Convergent sequence in compact metric space

    Hi, In Baby Rudin, Thm 3.6 states that If p(n) is a sequence in a compact metric space X, then some subsequence of p(n) converges to a point in X. Why is it not the case that every subsequence of p(n) converges to a point in X? I would think a compact set would contain every sequence...
  9. T

    Undergrad Closed and bounded in relation to compact

    So this is more so a general question and not a specific problem. What exactly is the diefference between closed and boundedness? So the definition of closed is a set that contains its interior and boundary points, and the definition of bounded is if all the numbers say in a sequence are...
  10. O

    Distance between compact subsets

    Homework Statement Let A,B be two disjoint, non-empty, compact subsets of a metric space (X,d). Show that there exists some r>0 such that d(a,b) > r for all a in A, b in B. Hint provided was: Assume the opposite, consider a sequence argument. Homework Equations N/A The Attempt...
  11. J

    Graduate Questions on locally compact space

    Q1. if A is a subset of X, choose the topology on X as {∅,U|for every U in X that A is a subset of U}. Then is this topology a locally compact space? Q2. X=[-1,1], the topology on X is {∅, X, [-1, b), (a,b), (a,1] | for all a<0<b}. How to prove every open set (a,b) in X is NOT locally compact...
  12. K

    Graduate Sobolev class of loops to a compact lie Group

    I am currently reading a paper discussing the convexity of the image of moment maps for loop groups. In particular, if G is a compact Lie group and S^1 is the circle, the paper defines the loops group to be the set of function f: S^1 \to G of "Sobolev class H^1 ." Now in the traditional...
  13. Y

    Showing A Compact Interval Is Closed

    Homework Statement Basically, prove the Extreme Value Theorem. "If f is a continuous function over the interval [a,b] then f reaches a max and a min on that interval." Homework Equations In this case they're more like definitions and things I have proved so far. Intervals are...
  14. G

    Compact Electro-Optic Modulators

    what is the the carrier plasma dispersion effect?
  15. D

    How powerful can a compact maglev system be with neodymium magnets?

    How small can a maglev propulsion system be? What's the relationship between the size/strength of the magnets and the load capacity of a maglev vehicle?
  16. M

    How to prove something is closed and bounded, ie compact

    Homework Statement I need to prove that a closed ball(radius r about x0) is closed and bounded. The same goes for a sphere(radius r about x0). Homework Equations The Attempt at a Solution How does one go about proving something is closed and bounded? My book is not very helpful...
  17. M

    Graduate Spivak's proof of A closed bounded subset of R^n is compact

    Spivak's proof of "A closed bounded subset of R^n is compact" Hi guys, I'm currently taking a differential geometry course and decided I would read Spivak's Calculus on Manifolds, and then move on to his Differential Geometry series. There's a proof in here that feels unjustified to me, so...
  18. S

    Convergence of Compact Sets in Metric Spaces

    I was just googling around and I came across this problem. Let (X,d) be a metric space. Let (An)n \in N be a sequence of closed subsets of X with the property An \supseteq An+1 for all n \in N. Suppose it exists an m \in N such that Am is compact. Prove that \bigcapn\in NAn is not empty...
  19. C

    Compact form for an infinite multiplication

    Hi, In the middle of the article about Franciscus Vieta, here: http://en.wikipedia.org/wiki/Franciscus_Vieta I see an infinite product as an expression for Pi: 2 * 2/2^(1/2) * 2/(2+(2^(1/2))^(1/2) * ... I was wondering, how this could be written in compact form using math notation please?
  20. S

    A compact, bounded, closed-range operator on a Hilbert space has finite rank

    Homework Statement Let H be an \infty-dimensional Hilbert space and T:H\to{H} be an operator. Show that if T is compact, bounded and has closed range, then T has finite rank. Do not use the open-mapping theorem. Let B(H) denote the space of all bounded operators mapping H\to{H}, K(H) denote...
  21. B

    Why is the Norelco 1.1kW step-down device so compact?

    This device was recently purchased at a hardware store, and it has a wattage of 1.1kW but can fit inside a pocket with dimensions of approximately 12cm x 6cm x 3cm. Does it use a neodymium-iron-boron alloy with 44 times the magnetic energy density of iron as the core of a transformer, an...
  22. J

    Compact disk angular acceleration

    Homework Statement A compact disc speeds from rest to 5200 rpms in 620 rad. Diameter is 5.0cm -how many revolutions did it make in this time -what is the angular acceleration in rad/s^2 -how long does ti take to reach this speed Homework Equations The Attempt at a Solution i was able to find...
  23. Rasalhague

    Graduate Proof that Compact Subset of Metric Space is Bounded

    Compact --> bounded In lecture 8 of Francis Su's Real Analysis online lecture series, he has a proof that a compact subset of a metric space is bounded: Given a metric space (X,d), if A is a compact subset of X, then every open cover of A has a finite subcover. Let B be a set of open balls of...
  24. C

    Is This Sequence Compact? Analysis of {1, 1/2, 2/3, 3/4, 4/5...}

    Homework Statement {1,1/2,2/3,3/4,4/5...} is this set compact. The Attempt at a Solution I think this set is compact because it contains its cluster point which is 1. is this correct?
  25. C

    Are All Countable Sets Compact? Proof or Counterexample Required.

    Homework Statement Decide whether the following propositions are true or false. If the claim is valid supply a short proof, and if the claim is false provide a counterexample. a) An arbitrary intersection of compact sets is compact. b)A countable set is always compact. The Attempt at a...
  26. C

    Prove: For T Compact, left or right invertible implies invertible

    Homework Statement X is a Banach space S\in B(X) (Bounded linear transformation from X to X) T\in K(X) (Compact bounded linear transformation from X to X) S(I-T)=I if and only if (I-T)S=I The question also asks to show that either of these equalities implies that I-(I-T)^{-1} is compact...
  27. A

    Integrating on Compact Manifolds

    Homework Statement This problem is in Analysis on Manifolds by Munkres in section 25. R means the reals Suppose M \subset R^m and N \subset R^n be compact manifolds and let f: M \rightarrow R and g: N \rightarrow R be continuous functions. Show that \int_{M \times N} fg = [\int_M f] [...
  28. Useful nucleus

    Graduate Are all open sets compact in the discrete topology?

    A subset K of a metric space X is said to be compact if every open cover of K contains a finite subcover. Does not this imply that every open set is compact. Because let F is open, then F= F \bigcup ∅. Since F and ∅ are open , we obtained a finite subcover of F. Am I missing something here?
  29. A

    Graduate Is the Sum of Two Elements in a Convex Compact Subset of R^2 Also in the Subset?

    Let $X$ be a compact and convex subset of $\mathbb{R^2}$ Let $a^1, a^2 \in X$ such that $a^j = (a^j_1, a^j_2)$, $j=1,2$ Is $c= \sum_{i=1}^2 \mathbb{I}_{ i=j} a^j_i \in X \quad ?$
  30. R

    Graduate Weakly sequentially compact supsets

    I need some help in understanding exactly the following definition (any links to sources will be great). What is boundedly weakly sequentially compact subset in the compact Hausdorf space with a regular Borel measure? What in this case will be the weak topology? Thanks!
  31. B

    Graduate Is R mod 2pi a Compact Manifold?

    Hi, Why R mod 2pi is a Compact Manifold? Isn't this like a real line which is not compact? How should we prove it using a finite sub-cover for this manifold? bah
  32. J

    Graduate Cohomology with compact support

    Hi there. I'm looking at Poincare duality, and there's something extremely wrong with the way I'm looking at one or more of the concepts and I need to figure out which. When dealing with non-compact manifolds, you can fix Poincare duality by looking at something called "cohomology with...
  33. P

    Graduate Proof That Product of Two Compact Spaces Is Compact w/o Choice Axiom

    In Theorem 26.7 of Munkres' Topology, it is proved that a product of two compact spaces is compact, and I think the author seems to (rather sneakily) use the choice axiom without mentioning it... Could anyone tell me if this is indeed the case? I don't have a problem with the choice axiom, but...
  34. S

    Graduate Extending Bounded metric spaces to compact spaces

    Hi Suppose (X,d) is a bounded metric space. Can we extend (X,d) into (X',d') such that (X',d') is compact and d and d' agree on X? ( The reason for asking the question: To prove a theorem in Euclidean space, I found it convenient to first extend the bounded set in question to a compact one (...
  35. R

    Graduate Why Does a=dB Imply ∫a=0 on Compact Manifolds?

    I'm looking at prop 19.5 of Taylor's PDE book. The theorem is: If M is a compact, connected, oriented manifold of dimension n, and a is an n-form, then a=dB where B is an n-1 form iff the ∫a over M is 0. I'm trying to understand why a=dB implies ∫a = 0. If M has no boundary, than this...
  36. F

    Graduate What is the definition of compact sets in real analysis?

    Hello physicsforum - I recently began self-studying real analysis on a whim and I have run into some trouble understanding the idea of compactness. I have no accessible living sources near me and I have yet to find a source that has explained the matter clearly, so I shall turn here for...
  37. N

    [topology] compact, locally connected, quotient topology

    Homework Statement Let X be a compact and locally connected topological space. Prove that by identifying a finite number of points of X, one gets a topological space Y that is connected for the quotient topology. Homework Equations The components of a locally connected space are open...
  38. N

    Graduate Counterexample intersections of 2 compacts is compact ?

    Counterexample "intersections of 2 compacts is compact"? Hello, I'm looking for a counterexample to "If A and B are compact subsets of a topological space X, then A \cap B is compact." It's not for homework. I found one online, but it talked about "double-pointed" things which I didn't...
  39. G

    Graduate Proof that Every Compact Set is Bounded

    I came across this proof and have a question about the bolded portion: Consider the following objection to the bolded: In order for \mathcal{G} to be an open cover of K its sets must contain all of the points of K. The sets of \mathcal{G} are B_r(p) for some fixed p, and so as r gets...
  40. R

    Graduate Continuous and smooth on a compact set implies differentiability at a point

    I'm trying to prove that if a function is continuous on [a,b] and smooth on (a,b) then there's a point x in (a,b) where f'(x) exists. The definition of smoothness is: f is smooth at x iff \lim_{h \rightarrow 0} \frac{ f(x+h) + f(x-h) - 2f(x) }{ h } = 0 . I'm starting with the simpler case...
  41. S

    Ultrasound from compact florescent light bulbs

    Are compact florescent light bulbs know to be strong sources of ultrasounic noise? I've been playing with a "Marksman Ultrasonic Diagnostic Tool", which presents ultrasounds as audible sound. It isn't a scientific instrument, so it doesn't give a decibel reading. It is used to detect leaks...
  42. P

    Proving Existence of Supremum on Compact Metric Space: A Conundrum?

    Suppose X is compact and that f:X→ℝ, with the usual metric. In addition suppose that {x: f(x)>a} is open for every a ∈ ℝ. I need to show that there is always an x ∈ X such that f(x) equals the supremum of the range of f, or I need to provide a counter example. For what it's worth we also...
  43. P

    Graduate Compact Sets of Metric Spaces Which Are Also Open

    Are there any down to Earth examples besides the empty set? Edit: No discrete metric shenanigans either.
  44. P

    Continuous Injective Function on Compact Set of C

    Prove that the inverse of a continuous injective function f:A -> ℂ on a compact domain A ⊂ ℂ is also continuous. So basically because we're in ℂ, A is closed and bounded, and since f is continuous, the range of f is also bounded. Given a z ∈ A, I can pick some arbitrary δ>0 and because f is...
  45. Z

    Graduate How to prove that SU(3) is compact

    How to prove that SU(3) is compact?I have no idea how to do this . And What is the significance of The compactness of SU(3) on the quark model?
  46. P

    Graduate Point-wise continuity on all of R using compact sets

    Ok, so basically I am trying to decide whether my mathematics is valid or if there is some subtly which I am missing: Lets say I have a 1-1 strictly increasing point-wise continuous function f: R -> R, and I want to show that the inverse function g: f(R) -> R is also point-wise continuous...
  47. W

    Is R with the Usual Topology Not Compact? Proving with Simple Counterexamples

    Homework Statement I'm trying to prove that R with the usual topology is not compact. Homework Equations The Attempt at a Solution According to the solutions, there are two "simple" counterexamples of open coverings that do not contain finite subcoverings: (-n, n) and (n, n+2). Of course...
  48. L

    Graduate Geodesic flows on compact surfaces

    Does a geodesic flow on a compact surface - compact 2 dimensional Riemannian manifold without boundary - always have a geodesic that is orthogonal to the flow?
  49. G

    Proving Compact Sets Must Be Closed

    Homework Statement Show that every compact set must be closed. I am looking for a simple proof. This is supposed to be Intro Analysis proof. Relevant equations Any compact set must be bounded. The Attempt at a Solution Suppose A is not closed, so let a be an accumulation...
  50. A

    Graduate Confusing result about the spectrum of compact operators

    I have been posting on here pretty frequently; please forgive me. I have an exam coming up in functional analysis in a little over a week, and my professor is (conveniently) out of town. We proved in our class notes that if T:X\to X is a compact operator defined on a Banach space X, \lambda...