Talk:Fibration

message: This is wrong as it stands.  Every fiber bundle satisfies the HLP, but not every fibration is a fiber bundle.  Serre's classic example, \Omega X\to P X\to X is not a fiber bundle.
Michael Larsen 12:25, 16 Sep 2003 (UTC)
thread_title:  wrong 

message: I propose adding the following definition for a Serre fibration, which I am taking from Novikov, "Topology I (General Survey)":
Let B some topological space be the base space, and let A\subset B be some subset. Let I=[0,1] be the unit interval and let \gamma:I\to B be some continuous path. The total space E is given by
:E = \{\gamma | \gamma(1)\in A\} 
That is, the total space E consists of all continuous paths \gamma:I\to B that connect points in A to points in B. The projection p is given by
:p(\gamma) = \gamma(0)= x\in B
The fiber over a point x\in B is thus
:F_x = p^{-1}(x)=\{\gamma | \gamma(0)=x\} 
Properties: The total space E contains a copy of A, given by \gamma(t)=const. Thus A is a deformation retract of E. When A consists of a single point x_0\in B, then E is contractible.  When A consists of a single point x_0\in B, the fiber F_x=p^{-1}(x) over a point x\in B is commonly denoted by F_x=\Omega(x,x_0). The fiber F_{x_0}=\Omega(x_0,x_0)=\Omega_{x_0} B over x_0 is the loop space of B based at x_0.
Would this be an acceptable definition of a Serre fibration? I think this is a whole lot easier, and very concrete, as compared to the mumbo-jumbo about CW-complexes; The CW-complex bit is mostly about the categorification of the thing, as best I understand it, and should be held off for later in the article. 
I think it also makes the section on the long exact sequence in the article homotopy group less obtuse.
Next: A localy trivial fibration is called a fiber bundle (where we define a locally trivial fibration to the usual definition of being homeomorphic to the direct product of an open set times the fiber. Would that work?  I'll try to think up of a really simple illustration of a fibration that is not a fiber bundle.  linas 17:56, 16 December 2006 (UTC)
replies: text: The above proposal won't work out very well, and here's why: fibrations simply aren't interesting to read about or study, or think about, till some earlier concepts are clearly mastered, such as mapping fiber, mapping cone and homotopy lifting property.   The above definition does introduce some of these ideas, albeit poorly.  But if those concepts are already mastered, then this article should be fairly accessible. If those concepts are not mastered, there is not much point to understanding a fibration, other than to know that a fiber bundle is a special case. Maybe this article could be expanded, but it would have to be tighter than above. 67.198.37.16 (talk) 04:53, 5 September 2016 (UTC)
thread_title:  Technical accesibility 

message: I think that the second heading "categorical definition" is misleading. Under a "categorical definition" I'd understand a rephrasing of the previous stuff in categorical terms, however this is not what the section gives.
Also, the references seem not quite appropriate since all of them refer to fibrations for categories, and not for spaces.
If noone objects, I might try to improve upon these points. - Saibot2 11:54, 17 March 2007 (UTC)
replies: text: BTW, what's a "numerable open cover"? - Saibot2 12:08, 17 March 2007 (UTC)
thread_title:  a few suggestions 

message: There is a separate article on fibred category. I propose that this article be renamed "fibration (topology)", and that a redirection notice be included at the top of the article, to guide people to the fibred category article if they want to go there. I would then remove the categorical stuff from this page, which is already on that page. OK? Sam Staton 17:44, 24 October 2007 (UTC)
replies: text: I've just done all this, except for the renaming. Would anyone object to that? Would "fibration (algebraic topology)" be better? Sam Staton (talk) 19:02, 20 November 2007 (UTC)
thread_title: Connections to the fibred category article

message: I'm surprised to see "This article contains too much jargon" at the top of the page. All the technical terms are linked to explanations, and the level of the article is consistent with other pages on mathematical subjects. I propose to simply remove the "too much jargon" notice, unless anyone has specific suggestions for improving the page. Jowa fan (talk) 02:13, 21 October 2010 (UTC)
replies: text: The notice is now gone, you or someone removed it. 67.198.37.16 (talk) 04:54, 5 September 2016 (UTC)
thread_title: "Too much jargon"?

message: Unless I'm mistaken, aren't all the given examples of fibrations also fiber bundles? That's not great. Shouldn't there be an example of fibration that is not a fiber bundle?  — Preceding unsigned comment added by Seub (talk • contribs) 22:24, 27 May 2020 (UTC)
thread_title:  Example 

message: In Fibration#Puppe sequence, the sentence "The inclusion \Omega B \hookrightarrow F_p(\simeq F) is a homotopy equivalence" seems wrong: for example, in the case of the Hopf fibration, \Omega B = \Omega S^2 is not homotopy equivalent to the fibre F = S^1. I am also not sure why it's an "inclusion"; if anything it looks more like a projection to me, but I'm not an expert. — ncfavier 12:28, 20 May 2024 (UTC)
thread_title:  Error?