Is this one connected curve, or two? Bet you can't explain why...
TLDRThis script explores the concept of connectedness in topology through the lens of the 'Topologist's Sine Curve', a transformation of the sine function where x is replaced with its reciprocal. It challenges the intuitive notion of a connected shape by demonstrating that the sine curve, despite appearing to touch on either side of the y-axis, is disconnected when defined by continuous paths. The video delves into alternative definitions, including the standard 'touching subsets' definition, which considers the curve connected due to overlapping boundaries. The script highlights the subjectivity in mathematical definitions and the importance of understanding the motivation behind them, emphasizing the creativity involved in mathematical concepts.
Takeaways
- π The script discusses the transformation of the sine function graph by replacing the x-coordinate of every point with its reciprocal, resulting in a shape known as the 'Topologist's Sine Curve'.
- π This transformation turns the graph inside-out horizontally around the vertical lines x = 1 and -1, causing the curve to oscillate wildly near the origin and creating a gap at x = 0.
- π The 'Topologist's Sine Curve' has an infinitely oscillating behavior near the origin due to the compression of the sine function's oscillations into a small space.
- π The script poses the question of whether filling in the gap at the origin with a range of y-values connects the two halves of the curve, leading to a discussion on the concept of connectedness in topology.
- π€ It challenges the viewer to come up with an intuitive definition of connectedness and then refine it into a precise mathematical definition that can be applied universally.
- π The script introduces the idea of a 'path' in topology as a continuous function that connects two points within a shape, and uses this to explore the connectedness of the Topologist's Sine Curve.
- π« The Topologist's Sine Curve is found to be disconnected according to the path definition, as there is no continuous path that can cross the y-axis without an undefined y-value at the origin.
- π The script then proposes an alternative definition of connectedness based on the inability to split a shape into two non-touching pieces, and explores the implications of this definition.
- π The concept of 'interior', 'exterior', and 'boundary' of a set in topology is explained, and these concepts are used to refine the definition of when two shapes are considered to 'touch'.
- π The refined definition suggests that the Topologist's Sine Curve might be connected, as it seems to always have overlapping boundaries when split, indicating that the two halves touch.
- π― The script highlights the subjectivity in choosing a mathematical definition that best captures an intuitive concept and the importance of understanding the motivation behind mathematical definitions.
Q & A
What transformation is applied to the graph of y = sin(x) to create the Topologist's Sine Curve?
-The transformation involves replacing the x-coordinate of every point on the curve with its reciprocal, 1/x. This turns the graph inside-out horizontally around the vertical lines x = 1 and -1.
Why does the curve wiggle intensely near the origin after the transformation?
-The intense wiggling near the origin is due to the compression of the infinitely-many oscillations of the sine function into a tiny space around the origin, as a result of swapping the positions of 0 and infinity on the x-axis.
What is the gap at the origin in the Topologist's Sine Curve, and why does it occur?
-The gap at the origin occurs because sin(x) does not have a sensible single value at x = infinity, as it never stops oscillating between -1 and 1. This leaves the left half of the curve disconnected from its right half.
What is the Topologist's Sine Curve, and how does it relate to the concept of connectedness?
-The Topologist's Sine Curve is a shape created by transforming the graph of y = sin(x) and filling in the gap at the origin with a range of y-values. It is used to explore the concept of connectedness in topology, questioning whether filling in the gap connects the two halves of the curve.
What is the mathematical definition of a connected shape according to the script?
-A shape is connected if any two points within that shape can be joined together by a path that stays entirely within the shape. A disconnected shape is one where two points cannot be joined with a path that stays inside the shape.
How is a path defined in the context of the script?
-A path is defined as any continuous function f(t) that maps real numbers in the interval [0,1] to points in the space, connecting a point 'a' to a point 'b' where f(0) = a and f(1) = b.
Why is the Topologist's Sine Curve considered disconnected according to the path definition?
-The Topologist's Sine Curve is considered disconnected because there is no continuous path that can cross the y-axis without having an undefined y-value at the origin, thus violating the definition of a continuous function.
What alternative definition of connectedness is proposed in the script, and how does it differ from the path definition?
-The alternative definition proposes that a shape is connected if it cannot be split into two pieces that do not touch each other. This differs from the path definition as it does not rely on the existence of a continuous path but on the overlap of boundaries between subsets.
What is the issue with the alternative definition of connectedness when applied to the union of two open, circular disks that are tangent to one another?
-The issue is that according to the alternative definition, the set should be considered connected because the boundaries of the two open disks overlap. However, intuitively, most people would say it is not connected due to the gap between the disks, highlighting a limitation in the definition.
How does the refined definition of connectedness address the issue with the union of two open, circular disks?
-The refined definition states that two disjoint sets touch each other if their boundaries overlap and at least one of the sets contains part of their common boundary. This excludes the union of two open, circular disks from being considered connected because the overlap point is not a member of either disk.
What is the conclusion about the connectedness of the Topologist's Sine Curve according to the refined definition?
-According to the refined definition, the Topologist's Sine Curve is considered connected because, in all possible ways to split the set, the resulting subsets always touch each other at the vertical strip, which is part of their common boundary.
Why is the standard touching subsets definition of connectedness preferred over the path definition in some contexts?
-The standard touching subsets definition is preferred because it does not rely on the structure of the real numbers and can work in bizarre topological spaces where the path definition might conflict with the space's geometry.
What is the relationship between path connectedness and standard connectedness, and why is one considered stronger?
-Path connectedness is a strictly stronger notion of connectedness than the standard 'touching subsets' notion because any set that is path connected is automatically guaranteed to be connected in the standard sense, but not necessarily the other way around.
What are the alternative definitions of connectedness found in topology textbooks, and how do they relate to the 'touching subsets' definition?
-The alternative definitions state that a topological space is connected if it is NOT the union of two non-empty, disjoint open sets, or if the only sets in it that are both open AND closed are the whole space itself and the empty set. These definitions are equivalent to the 'touching subsets' definition, although the reason why is subtle and not covered in the script.
What is the significance of understanding the motivation behind mathematical definitions, and how does the script encourage this?
-Understanding the motivation behind mathematical definitions is crucial for appreciating the creativity and cleverness that goes into crafting them. The script encourages this by highlighting the ingenuity in defining connectedness and urging viewers to reflect on the motivation behind mathematical definitions they encounter.
Outlines
π Transformation of the Sine Function
The video begins by discussing the transformation of the sine function graph where the x-coordinate of each point is replaced by its reciprocal, 1/x. This transformation results in the graph turning inside-out around the vertical lines x = 1 and -1. The curve now oscillates intensely near the origin, compressing the sine function's infinite oscillations into a small space. However, this process leaves a gap at the origin, as the sine function does not have a single value at x = infinity. The video introduces the concept of the 'Topologist's Sine Curve', which fills the gap with the full range of y-values, leading to a question about the curve's connectivity. The discussion then shifts to the mathematical definition of connectedness from the field of Topology and the challenge of translating an intuitive notion into a precise mathematical description.
π Exploring Connectedness and Path Definitions
The video explores the concept of connectedness by examining whether a continuous path exists between any two points on the Topologist's Sine Curve. It is determined that no such path can exist because the curve does not have a unique limiting y-value as x approaches 0. This leads to the conclusion that the curve is disconnected according to the path definition. However, the video challenges this conclusion by suggesting that the curve's two halves might still be considered connected in an intuitive sense, as they 'touch' along the y-axis. This prompts a reevaluation of the definition of connectedness, which could involve the concept of a shape not being split into two pieces that don't touch each other.
π Topological Concepts and Connectedness
The video introduces topological concepts such as the 'interior,' 'exterior,' and 'boundary' of a set to redefine connectedness. A set is considered connected if it cannot be split into two subsets with disjoint boundaries. The Topologist's Sine Curve is reexamined with this new definition, and it is argued that the curve is indeed connected because the boundaries of the two halves overlap and one of the halves includes the common boundary. This leads to a nuanced understanding of connectedness that accommodates the curve's peculiarities.
π€ The Subjectivity of Mathematical Definitions
The video discusses the subjectivity involved in mathematical definitions, particularly in the context of connectedness. It contrasts the path definition of connectedness with the 'touching subsets' definition, noting that while both are valid, they do not always agree. The standard definition preferred by mathematicians is the 'touching subsets' definition, which is more adaptable to various topological spaces. The video also touches on the 'ordered square' as an example where the path definition fails, but the 'touching subsets' definition still holds. It concludes that path connectedness is a stronger condition than standard connectedness.
π The Importance of Mathematical Definitions
The video concludes by emphasizing the importance of understanding and appreciating the creativity behind mathematical definitions. It contrasts the 'touching subsets' definition with the more common definition found in textbooks, which involves the union of non-empty, disjoint open sets. The video explains that these definitions are equivalent, although the reasoning behind this equivalence is complex. It encourages viewers to engage with and understand the motivation behind mathematical definitions, highlighting the ingenuity involved in their creation. The video also acknowledges the support of Brilliant, an online learning platform, and offers a discount for viewers.
Mindmap
Keywords
π‘Topologist's Sine Curve
π‘Connectedness
π‘Continuous Path
π‘Limit
π‘Interior, Exterior, and Boundary
π‘Closed and Open Sets
π‘Path Connectedness
π‘Ordered Square
π‘Real Number Line
π‘Brilliant.org
π‘Mathematical Definition
Highlights
Transformation of the sine function by replacing x with its reciprocal 1/x.
The effect of turning the graph inside-out horizontally around the vertical lines x = 1 and -1.
The curve's intense oscillation near the origin due to the compression of sine function's oscillations.
The gap at the origin in the Topologist's Sine Curve due to the undefined behavior of sin(x) at x = infinity.
The disconnection of the left and right halves of the curve at the origin.
Filling the gap with a range of y-values as a potential solution.
The question of whether filling the gap connects the two halves of the curve.
The mathematical definition of connectedness from the field of Topology.
The challenge of translating an intuitive notion of connectedness into a precise mathematical definition.
The definition of a connected shape based on the ability to travel between any two points within the shape.
The concept of a path as a continuous function f(t) mapping real numbers to points in space.
The Topologist's Sine Curve's lack of a unique limiting y-value as x approaches 0.
The conclusion that the Topologist's Sine Curve is disconnected based on the path definition.
The alternative definition of connectedness based on the inability to split a shape into non-touching pieces.
The Topological concepts of interior, exterior, and boundary of a set.
The refined definition of connectedness involving overlapping boundaries and containment of common boundaries.
The application of the refined definition to the Topologist's Sine Curve, suggesting it is connected.
The subjective nature of mathematical definitions and the preference for the touching subsets definition in Topology.
The relationship between path connectedness and standard connectedness, with path connectedness being a stronger notion.
The standard definition of connectedness in Topology involving the union of non-empty, disjoint open sets.
The equivalence of the standard definition to the touching subsets definition and the ingenuity in mathematical definitions.
The importance of understanding and appreciating the motivation behind mathematical definitions.
Transcripts
Browse More Related Video
![](https://i.ytimg.com/vi/uHsbSjm3RLg/hq720.jpg)
Physics: Alternative Ways to Think of Sine and Cosine
![](https://i.ytimg.com/vi/3izFMB91K_Q/hq720.jpg)
Curves we (mostly) don't learn in high school (and applications)
![](https://i.ytimg.com/vi/ZffZvSH285c/hqdefault.jpg?sqp=-oaymwEXCJADEOABSFryq4qpAwkIARUAAIhCGAE=&rs=AOn4CLAwXWluTdawNt0CjuIiKKdxMBUbgw)
Unit Circle Definition of Trig Functions
![](https://i.ytimg.com/vi/TBx2GLQB7Q0/hq720.jpg)
GeoGebra - Create Interactive Unit Circle with Sine Curve
![](https://i.ytimg.com/vi/vuoNyvMvDtA/hq720.jpg)
05 - Sine and Cosine - Definition & Meaning - Part 1 - What is Sin(x) & Cos(x) ?
![](https://i.ytimg.com/vi/oe6fo5bjurQ/hq720.jpg)
Squeeze Theorem for Limits (1)
5.0 / 5 (0 votes)
Thanks for rating: